Sec.Proposition
A proposition derived from the circuits being compared.
type t
val sexp_of_t : t -> Sexplib0.Sexp.t