hardcaml_verify

Hardcaml Verification Tools
IN THIS PACKAGE
Module type Hardcaml_verify_kernel . Tseitin . S
type t
val (~:) : t -> t