package hardcaml_verify

  1. Overview
  2. Docs

Parameters

Signature

type model := t
type t
val create_specification : t -> property Base.list -> model
OCaml

Innovation. Community. Security.