hardcaml_verify.kernel
Nusmv.Circuit_properties
hardcaml_verify
ppxlib
yojson
type ('i, 'o) t
val inputs : ('i, 'o) t -> 'i
val outputs : ('i, 'o) t -> 'o