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