hardcaml_verify

Hardcaml Verification Tools
IN THIS PACKAGE
Parameter #1 Hardcaml_verify_kernel . Tseitin . Make . B
type t
val (~:) : t -> t