hardcaml_verify

Hardcaml Verification Tools
IN THIS PACKAGE
type ('i, 'o) t
val inputs : ( 'i, 'o ) t -> 'i
val outputs : ( 'i, 'o ) t -> 'o