Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package minicaml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Minicaml.Eval
module T = ANSITerminalBoolean Primitives
val eval : Types.expr -> Types.evalstate -> Types.evtEvaluate an expression in an environment
val lookup : Types.ide -> Types.evalstate -> Types.evtval lookup_env : Types.ide -> Types.evalstate -> Types.evtval applyfun :
Types.evt ->
Types.type_wrapper list ->
Types.evalstate ->
Types.evt