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