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 opt_mono_rewrites : bool refval opt_mono_complex_nexps : bool refval opt_mono_split : ((string * int) * string) list refval opt_dmono_analysis : int refval opt_auto_mono : bool refval opt_dall_split_errors : bool refval opt_dmono_continue : bool refval move_loop_measures : 'a Ast_defs.ast -> 'a Ast_defs.astval rewrite_undefined :
bool ->
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.astval rewrite_ast_target :
string ->
(string
* (Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t))
listtype rewriter = | Basic_rewriter of Type_check.Env.t -> Type_check.tannot Ast_defs.ast -> Type_check.tannot Ast_defs.ast| Checking_rewriter of Type_check.Env.t -> Type_check.tannot Ast_defs.ast -> Type_check.tannot Ast_defs.ast * Type_check.Env.t| Bool_rewriter of bool -> rewriter| String_rewriter of string -> rewriter| Literal_rewriter of (Ast.lit -> bool) -> rewriter
val rewrite_lit_ocaml : Ast.lit -> boolval rewrite_lit_lem : Ast.lit -> booltype rewriter_arg = | If_mono_arg| If_mwords_arg| If_flag of bool ref| Bool_arg of bool| String_arg of string| Literal_arg of string
val all_rewrites : (string * rewriter) listval opt_coq_warn_nonexhaustive : bool refval rewrite_ast_check :
(string
* (Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t))
list