sig
val affine_hull :
'a Syntax.context ->
'a Syntax.formula -> Syntax.symbol list -> 'a Syntax.term list
val boxify :
'a Syntax.context ->
'a Syntax.formula -> 'a Syntax.term list -> 'a Syntax.formula
val abstract :
?exists:(Syntax.symbol -> bool) ->
'a Syntax.context ->
'abs Apron.Manager.t -> 'a Syntax.formula -> ('a, 'abs) SrkApron.property
end