Up – Package index » goblint » Library goblint.lib » Goblint_lib » MCPRegistry » AccListSpec

Module `MCPRegistry.AccListSpec`

val assoc_dom : int -> (module Analyses.MCPA)

val domain_list : unit -> (int * (module Analyses.MCPA)) list