| 1 |
type t |
type t |
|
and abstr |
|
|
and env |
|
| 2 |
|
|
| 3 |
exception CDuceExn of t |
module Env : Map.S with type key = string |
| 4 |
|
type env = t Env.t |
| 5 |
|
|
| 6 |
val empty_env : env |
exception CDuceExn of t |
| 7 |
|
|
| 8 |
val print: Format.formatter -> t -> unit |
val print: Format.formatter -> t -> unit |
| 9 |
|
|
| 10 |
val run_dispatcher: Patterns.Compile.dispatcher -> t -> int * t array |
val run_dispatcher: Patterns.Compile.dispatcher -> t -> int * t array |
| 11 |
|
|
| 12 |
val eval: env -> Typed.texpr -> t |
val eval: env -> Typed.texpr -> t |
| 13 |
|
val eval_let_decl: env -> Typed.let_decl -> (string * t) list |
Parent Directory
| 
Revision Log
| 
Patch