Module Structs.MakeSource

Make is a functor that takes a Trace as argument and instantiates all the Traced modules based on it.

Parameters

Signature

Sourcemodule Monad : sig ... end
Sourcemodule Seq : sig ... end
Sourcemodule Hashtbl : sig ... end
Sourcemodule List : sig ... end
Sourcemodule Map : sig ... end
module Option = Bare_structs.Option
module Result = Bare_structs.Result
Sourcemodule Set : sig ... end
Sourcemodule Seq_e = Seq_e
Sourcemodule Seq_s : sig ... end
Sourcemodule Seq_es : sig ... end
module Unit = Bare_structs.Unit
module WithExceptions = Bare_structs.WithExceptions