sig
  exception Error of string
  val linexpr1_of_lexbuf :
    Apron.Environment.t -> Lexing.lexbuf -> Apron.Linexpr1.t
  val lincons1_of_lexbuf :
    Apron.Environment.t -> Lexing.lexbuf -> Apron.Lincons1.t
  val generator1_of_lexbuf :
    Apron.Environment.t -> Lexing.lexbuf -> Apron.Generator1.t
  val texpr1expr_of_lexbuf : Lexing.lexbuf -> Apron.Texpr1.expr
  val texpr1_of_lexbuf :
    Apron.Environment.t -> Lexing.lexbuf -> Apron.Texpr1.t
  val tcons1_of_lexbuf :
    Apron.Environment.t -> Lexing.lexbuf -> Apron.Tcons1.t
  val linexpr1_of_string : Apron.Environment.t -> string -> Apron.Linexpr1.t
  val lincons1_of_string : Apron.Environment.t -> string -> Apron.Lincons1.t
  val generator1_of_string :
    Apron.Environment.t -> string -> Apron.Generator1.t
  val texpr1expr_of_string : string -> Apron.Texpr1.expr
  val texpr1_of_string : Apron.Environment.t -> string -> Apron.Texpr1.t
  val tcons1_of_string : Apron.Environment.t -> string -> Apron.Tcons1.t
  val lincons1_of_lstring :
    Apron.Environment.t -> string list -> Apron.Lincons1.earray
  val generator1_of_lstring :
    Apron.Environment.t -> string list -> Apron.Generator1.earray
  val tcons1_of_lstring :
    Apron.Environment.t -> string list -> Apron.Tcons1.earray
  val of_lstring :
    'Apron.Manager.t ->
    Apron.Environment.t -> string list -> 'Apron.Abstract1.t
end