Term_dnet
module type IDENT = sig ... end
Identifiers to store (right hand side of the association)
module type OPT = sig ... end
Options :
module type S = sig ... end
module Make : functor (Ident : IDENT) -> functor (Opt : OPT) -> S with type ident = Ident.t