Module Smtbackend.Smtlib_sig

type counter_example = unit

type sat =

1. | Sat of counter_example
2. | Unsat
3. | Unknown

module type COMMON_S = sig ... end

module type TYPED_S = sig ... end

module type UNTYPED_S = sig ... end

module type UNTYPED_MUZ = sig ... end

module type PARAM_S = sig ... end