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