Local_struct_promise.Make
module C : S.CORE_TYPES
val make : unit -> C.struct_ref * C.struct_resolver