msat.backend
S.Value
msat
msat.backtrack
msat.sat
msat.tseitin
type t
The type of semantic values (domain elements)
val pp : t Msat.Solver_intf.printer
Printing function used among other for debugging.