package dolmen_model

You can search for identifiers within the package.

in-package search v0.2.0

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

val (<?>) : int -> (('a -> 'a -> int) * 'a * 'a) -> int

val lexicographic : ('a -> 'a -> int) -> 'a list -> 'a list -> int

module E = Dolmen.Std.Expr

module B = Dolmen.Std.Builtin

module T = Dolmen.Std.Expr.Term

module V = Dolmen.Std.Expr.Term.Var

module C = Dolmen.Std.Expr.Term.Const

exception Not_a_pattern of T.t

type t = {

head : C.t;
args : Value.t list;

}

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

val compare : t -> t -> int

val ops : t Value.ops

val mk : C.t -> Value.t list -> Value.t

val eval_tester : C.t -> Value.t -> Value.t

val eval_dstr : 
  eval:(Env.t -> Dolmen_model.Fun.E.Term.t -> Value.t) ->
  Env.t ->
  Dolmen.Std.Expr.Term.Const.t ->
  C.t ->
  int ->
  Dolmen_model.Fun.E.ty list ->
  Value.t ->
  Value.t

val builtins : 
  eval:(Env.t -> Dolmen_model.Fun.E.Term.t -> Value.t) ->
  Env.t ->
  C.t ->
  Value.t option

type pat =

| Var of V.t
| Cstr of C.t * T.t list

val view_pat : T.t -> pat

val pattern_match : Env.t -> T.t -> Value.t -> Env.t option

val pattern_match_list : Env.t -> T.t list -> Value.t list -> Env.t option