To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package sail
-
libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val is_const_exp : Type_check.tannot Ast.exp -> boolval is_const_fexp : Type_check.tannot Ast.fexp -> boolval recheck_exp : Type_check.tannot Ast.exp -> Type_check.tannot Ast.expval generate_fun_id : Ast.id -> Type_check.tannot Ast.exp list -> Ast.idval generate_val_spec :
Type_check.Env.t ->
Ast.id ->
Type_check.tannot Ast.exp list ->
Ast.l ->
Type_check.tannot ->
unit Ast.def * Ast.typ_arg Ast_util.KBindings.tval const_prop :
string ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast.exp Ast_util.Bindings.t ->
Ast.typ_arg Ast_util.KBindings.t ->
Type_check.tannot Ast.exp ->
Type_check.tannot Ast.expval prop_args_pexp :
string ->
Type_check.tannot Ast_defs.ast ->
Ast.typ_arg Ast_util.KBindings.t ->
Type_check.tannot Ast.exp list ->
Type_check.tannot Ast.pexp ->
Type_check.tannot Ast.pexpval rewrite_ast :
string ->
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast