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 t =

| Float of float
| Mpqf of Mpqf.t
| Mpfrf of Mpfrf.t

val of_mpq : Mpq.t -> t

val of_mpqf : Mpqf.t -> t

val of_int : int -> t

val of_frac : int -> int -> t

val of_mpfr : Mpfr.t -> t

val of_mpfrf : Mpfrf.t -> t

val of_float : float -> t

val of_infty : int -> t

val is_infty : t -> int

val sgn : t -> int

val cmp : t -> t -> int

val cmp_int : t -> int -> int

val equal : t -> t -> bool

val equal_int : t -> int -> bool

val neg : t -> t

val to_string : t -> string

val print : Stdlib.Format.formatter -> t -> unit