Up – Package index » hardcaml_verify » Library hardcaml_verify.kernel » Hardcaml_verify_kernel » Sec » Proposition

Module `Sec.Proposition`Source

A proposition derived from the circuits being compared.

Sourcetype t

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t