module Relations_type: sig .. end
sig
end
exception Use_Main_Memory
type tt
module type Model_S = sig .. end
module Model: Model_S with type t = Cvalue_type.Model.t * tt
Model_S
with type t = Cvalue_type.Model.t * tt