package goblint
Module MCPRegistry.PathListSpec
val assoc_dom : int -> (module DisjointDomain.Representative)val domain_list : unit -> (int * (module DisjointDomain.Representative)) listMCPRegistry.PathListSpecval assoc_dom : int -> (module DisjointDomain.Representative)val domain_list : unit -> (int * (module DisjointDomain.Representative)) list