package apron

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Error of string

val linexpr1_of_lexbuf : Environment.t -> Stdlib.Lexing.lexbuf -> Linexpr1.t

val lincons1_of_lexbuf : Environment.t -> Stdlib.Lexing.lexbuf -> Lincons1.t

val generator1_of_lexbuf : 
  Environment.t ->
  Stdlib.Lexing.lexbuf ->
  Generator1.t

val texpr1expr_of_lexbuf : Stdlib.Lexing.lexbuf -> Texpr1.expr

val texpr1_of_lexbuf : Environment.t -> Stdlib.Lexing.lexbuf -> Texpr1.t

val tcons1_of_lexbuf : Environment.t -> Stdlib.Lexing.lexbuf -> Tcons1.t

val linexpr1_of_string : Environment.t -> string -> Linexpr1.t

val lincons1_of_string : Environment.t -> string -> Lincons1.t

val generator1_of_string : Environment.t -> string -> Generator1.t

val texpr1expr_of_string : string -> Texpr1.expr

val texpr1_of_string : Environment.t -> string -> Texpr1.t

val tcons1_of_string : Environment.t -> string -> Tcons1.t

val lincons1_of_lstring : Environment.t -> string list -> Lincons1.earray

val generator1_of_lstring : Environment.t -> string list -> Generator1.earray

val tcons1_of_lstring : Environment.t -> string list -> Tcons1.earray

val of_lstring : 'a Manager.t -> Environment.t -> string list -> 'a Abstract1.t