package aez

You can search for identifiers within the package.

in-package search v0.2.0

aez
- Aez
  - Arith
    
    Make
    
    C
    
    P
    
    Rel
    
    Type
  - Cc
    
    Make
    
    TimerCC
    
    S
    
    TimerCC
  - Combine
  - Exception
  - Explanation
  - Fm
    
    EXTENDED_Polynome
    
    Make
    
    P
  - Hashcons
    
    HashedType
    
    HashedType_consed
    
    Make
    
    H
    
    Make_consed
    
    H
    
    S
    
    S_consed
  - Heap
    
    Make
    
    X
    
    OrderType
    
    S
  - Hstring
    
    H
    
    HMap
    
    HSet
  - Iheap
  - Intervals
  - Literal
    
    LT
    
    Map
    
    Set
    
    Make
    
    Map
    
    Set
    
    X
    
    OrderedType
    
    S
    
    Map
    
    Set
    
    S_Term
    
    Map
    
    Set
  - Polynome
    
    Make
    
    X
    
    S
    
    T
  - Smt
    
    Formula
    
    Make
    
    Dummy
    
    Solver
    
    Symbol
    
    Term
    
    Type
    
    Variant
  - Solver
    
    Make
    
    Dummy
  - Solver_types
    
    Debug
    
    Make
    
    Dummy
  - Sum
    
    ALIEN
    
    Rel
    
    Make
    
    Rel
    
    X
    
    Rel
  - Symbols
    
    Map
    
    Set
  - Term
    
    Map
    
    Set
  - Timer
    
    Make
    
    X
    
    S
  - Ty
  - Uf
    
    Make
    
    R
    
    Rel
    
    S
  - Use
    
    Make
    
    S
    
    SA
    
    ST
    
    T
  - Vec

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

type operator =

| Plus
| Minus
| Mult
| Div
| Modulo

val make_int : Num.num -> t

val make_real : Num.num -> t

val make_app : Symbol.t -> t list -> t

val make_arith : operator -> t -> t -> t

val make_ite : Formula.t -> t -> t -> t

val is_int : t -> bool

val is_real : t -> bool

val t_true : t

val t_false : t