hardcaml_verify

Hardcaml Verification Tools
IN THIS PACKAGE
Module type Hardcaml_verify_kernel . Cnf . Model
type input
val 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