Lmh_incremental_inference.Make_shared
Make_shared allows to construct with operators for any mappable type.
Make_shared
with
module C : sig ... end
val with_shared : 'a t C.t -> ('a shared C.t -> 'b t) -> 'b t