Goblint_lib.C2poDomain
Domain for weakly relational pointer analysis C-2PO.
module M = Messages
module C2PODomain : sig ... end
module D : sig ... end