Module Smtml.MappingsSource

include module type of struct include Mappings_intf end
Sourcetype satisfiability = [
  1. | `Sat
  2. | `Unsat
  3. | `Unknown
]
Sourcemodule type M = Mappings_intf.M
Sourcemodule type M_with_make = Mappings_intf.M_with_make
Sourcemodule type S = Mappings_intf.S
Sourcemodule type S_with_fresh = Mappings_intf.S_with_fresh