package apron

You can search for identifiers within the package.

in-package search v0.2.0

apron.apron
- Apron
  - Abstract0
  - Abstract1
  - Apron_lexer
  - Apron_parser
  - Coeff
  - Dim
  - Disjunction
    
    Abstract0
    
    Abstract1
  - Environment
  - Generator0
  - Generator1
  - Interval
  - Lincons0
  - Lincons1
  - Linexpr0
  - Linexpr1
  - Manager
  - Parser
  - Policy
    
    Abstract0
    
    Abstract1
  - Scalar
  - Tcons0
  - Tcons1
  - Texpr0
  - Texpr1
  - Var
  - Version
apron.avoD
- Avo
  - Abstract0
  - Abstract1
apron.avoMPQ
- Avo
  - Abstract0
  - Abstract1
apron.boxD
- Box
apron.boxMPFR
- Box
apron.boxMPQ
- Box
apron.octD
- Oct
  - Abstract0
  - Abstract1
apron.octMPQ
- Oct
  - Abstract0
  - Abstract1
apron.polkaMPQ
- Polka
  - Abstract0
  - Abstract1
apron.polkaRll
- Polka
  - Abstract0
  - Abstract1
apron.t1pD
- T1p
apron.t1pMPFR
- T1p
apron.t1pMPQ
- T1p

Legend:
Library
Module
Module type
Parameter
Class
Class type

type token =

| TK_EOF
| TK_VERTEX
| TK_RAY
| TK_LINE
| TK_RAYMOD
| TK_LINEMOD
| TK_SUPEG
| TK_INFEG
| TK_SUP
| TK_INF
| TK_EG
| TK_DISEG
| TK_MOD
| TK_POW of Texpr1.typ * Texpr1.round
| TK_LBRACKET
| TK_RBRACKET
| TK_SEMICOLON
| TK_LPAR
| TK_RPAR
| TK_MUL of Texpr1.typ * Texpr1.round
| TK_ADD of Texpr1.typ * Texpr1.round
| TK_SUB of Texpr1.typ * Texpr1.round
| TK_DIV of Texpr1.typ * Texpr1.round
| TK_MODULO of Texpr1.typ * Texpr1.round
| TK_CAST of Texpr1.typ * Texpr1.round
| TK_SQRT of Texpr1.typ * Texpr1.round
| TK_MPQF of Mpqf.t
| TK_FLOAT of float
| TK_VAR of string

val lincons : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  Lincons0.typ * (string * Coeff.t) list

val generator : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  Generator0.typ * (string * Coeff.t) list

val linexpr : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  (string * Coeff.t) list

val tcons : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  Tcons0.typ * Texpr1.expr

val texpr : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  Texpr1.expr