Up
–
goblint
»
Goblint_lib
»
ApronDomain
»
D2
» Man
Parameter
D2.Man
type
mt
type
t
=
mt
Apron
.Manager.t
val
mgr :
mt
Apron
.Manager.t
val
name :
unit
->
string