Module Domains.Region_suffix_tree

module MakeFullyExpanded (Scalar : Domain_sig.Base) : sig ... end
module Make (Scalar : Domain_sig.Base) : sig ... end