package hardcaml_verify

You can search for identifiers within the package.

in-package search v0.2.0

Hardcaml Verification Tools

Install

sha256=a09a904776ad848f685afb4ebe85e0d449acb81f6f2425fccc52a3c5b76be629

Sourcetype input = {

}

include Model with type input := input

Sourceval sexp_of_input : input -> Sexplib0.Sexp.t

val get : 
  ?show_hidden:Base.bool ->
  t ->
  Base.int Base.list Sat.t ->
  input Base.list Sat.t

val print : 
  Stdio.Out_channel.t ->
  input Base.list Sat.t Base.Or_error.t ->
  Base.unit