package sail
-
sail
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package sail
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val const_prop :
string ->
Type_check.tannot Ast_defs.ast ->
Ast_util.IdSet.t ->
(Type_check.tannot Ast.exp Ast_util.Bindings.t
* Ast.nexp Ast_util.KBindings.t) ->
Type_check.tannot Ast.exp Ast_util.Bindings.t ->
Type_check.tannot Ast.exp ->
Type_check.tannot Ast.exp * Type_check.tannot Ast.exp Ast_util.Bindings.tval referenced_vars : Type_check.tannot Ast.exp -> Ast_util.IdSet.tval remove_impossible_int_cases :
'a ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast