package dolmen_model

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Type definitions
Custom operations
Sets and Maps

package dolmen_model

dolmen_model
- CHANGES
- README
- Library dolmen_model
  - Dolmen_model
    
    Adt
    
    E
    
    B
    
    T
    
    V
    
    C
    
    Array
    
    E
    
    B
    
    Bitv
    
    Bool
    
    Coercion
    
    E
    
    Core
    
    E
    
    B
    
    Env
    
    Eval
    
    E
    
    B
    
    Term
    
    Var
    
    Cst
    
    Fp
    
    Fun
    
    E
    
    Int
    
    Loop
    
    E
    
    Make
    
    Model
    
    V
    
    C
    
    S
    
    Var
    
    Cst
    
    Rat
    
    Real
    
    Value
    
    Set
    
    Map
- Sources
  - dolmen_model
    
    adt.ml
    
    array.ml
    
    bitv.ml
    
    bool.ml
    
    coercion.ml
    
    core.ml
    
    dolmen_model.ml
    
    env.ml
    
    eval.ml
    
    fp.ml
    
    fun.ml
    
    int.ml
    
    loop.ml
    
    model.ml
    
    rat.ml
    
    real.ml
    
    value.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Dolmen_model.Value`Source

Type definitions

************************************************************************

Sourcetype t

Sourcetype 'a ops

Sourcetype any_ops =

| Ops : _ ops -> any_ops

Sourceexception Extraction_failed of t * any_ops

Sourceval dummy : t

Sourceval mk : ops:'a ops -> 'a -> t

Sourceval extract : ops:'a ops -> t -> 'a option

Sourceval extract_exn : ops:'a ops -> t -> 'a

Sourceval abstract_cst : Dolmen.Std.Expr.Term.Const.t -> t

Custom operations

************************************************************************

val ops : 
  ?abstract:(Dolmen.Std.Expr.Term.Const.t -> 'a) ->
  compare:('a -> 'a -> int) ->
  print:(Format.formatter -> 'a -> unit) ->
  unit ->
  'a ops

Sourceval print : Format.formatter -> t -> unit

Sourceval compare : t -> t -> int

Sets and Maps

************************************************************************

Sourcemodule Set : Set.S with type elt = t

Sourcemodule Map : Map.S with type key = t