package hardcaml_verify

You can search for identifiers within the package.

in-package search v0.2.0

Hardcaml Verification Tools

Install

sha256=b475dc8e540d9855b438309de3cf1984b28d29e7cd8a4d2b76d58a68894a8749

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