Module Traced_structs.MapSource

Sourcemodule Make (Monad : Traced_sigs.Monad.S) (Seq : Traced_sigs.Seq.S with type 'error trace := 'error Monad.trace) : Traced_sigs.Map.S with type 'error trace := 'error Monad.trace