hardcaml_verify.kernel
Cnf.Model_with_bits
hardcaml_verify
ppxlib
yojson
type input = {
label : Label.t;
value : Base.char;
}
include Model with type input := 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
val print : Stdio.Out_channel.t -> input Base.list Sat.t Base.Or_error.t -> Base.unit