package dolmen_model

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Value definition

package dolmen_model

dolmen_model
- Dolmen_model
  - Adt
  - Array
  - Bitv
  - Bool
  - Coercion
  - Core
  - Env
  - Eval
  - Fp
  - Fun
  - Int
  - Loop
    
    Make
    
    Parse
    
    State
    
    Typer
    
    Typer_Pipe
  - Model
    
    C
    
    Cst
    
    S
    
    V
    
    Var
  - Rat
  - Real
  - Value
    
    Map
    
    Set

Legend:
Library
Module
Module type
Parameter
Class
Class type

Value definition

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

val ops : bool Value.ops

ops for boolean values.

val mk : bool -> Value.t

Boolean value creation.

val builtins : Env.builtins

builtins for booleans