To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module StringMap : sig ... endval optimize_constant_fold : bool refval fexp_of_ctor : (Value.StringMap.key * Value.value) -> unit Ast.fexpval exp_of_value : Value.value -> unit Ast.expval safe_primops : (Value.value list -> Value.value) StringMap.tval opt_fold_to_unit : string list refval fold_to_unit : Ast_util.IdSet.elt -> boolval is_constant : Type_check.tannot Ast.exp -> boolval is_constant_fexp : Type_check.tannot Ast.fexp -> boolval run : Interpreter.frame -> Value.valueval initial_state :
Type_check.tannot Ast_defs.ast ->
Type_check.Env.t ->
Interpreter.lstate * Interpreter.gstatetype fixed = {registers : Type_check.tannot Ast.exp Ast_util.Bindings.t;fields : Type_check.tannot Ast.exp Ast_util.Bindings.t Ast_util.Bindings.t;
}val no_fixed : fixedval rw_exp :
fixed ->
string ->
(unit -> 'a) ->
(unit -> 'b) ->
Interpreter.state ->
Type_check.tannot Ast.exp ->
Type_check.tannot Ast.expval rewrite_exp_once :
string ->
Interpreter.state ->
Type_check.tannot Ast.exp ->
Type_check.tannot Ast.expval rewrite_constant_function_calls' :
fixed ->
string ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.astval rewrite_constant_function_calls :
fixed ->
string ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.asttype to_constant = | Register of Ast.id * Ast.typ * Type_check.tannot Ast.exp| Register_field of Ast.id * Ast.id * Ast.typ * Type_check.tannot Ast.exp