MCPRegistry.PathListSpec
val assoc_dom : int -> (module DisjointDomain.Representative)
val domain_list : unit -> (int * (module DisjointDomain.Representative)) list