Man (goblint.Goblint_lib.ApronDomain.AOps.Man)

type mt

type t = mt Apron.Manager.t

val mgr : mt Apron.Manager.t

val name : unit -> string