package hardcaml_verify

You can search for identifiers within the package.

in-package search v0.2.0

Hardcaml Verification Tools

Install

sha256=a09a904776ad848f685afb4ebe85e0d449acb81f6f2425fccc52a3c5b76be629

module I : Hardcaml.Interface.S

module O : Hardcaml.Interface.S

type model := t

Sourcetype t

type ltl := Hardcaml.Property.LTL.path

type ctl := Hardcaml.Property.CTL.state

Sourceval create : name:Base.string -> Hardcaml.Interface.Create_fn(I)(O).t -> t

Sourceval ltl : t -> (ltl Base.array I.t, ltl Base.array O.t) Circuit_properties.t

Sourceval ctl : t -> (ctl Base.array I.t, ctl Base.array O.t) Circuit_properties.t

Sourceval create_specification : t -> property Base.list -> model

On This Page