package sail

  1. Overview
  2. Docs
module StringMap : sig ... end
val optimize_constant_fold : bool Stdlib.ref
val fexp_of_ctor : (Value.StringMap.key * Value.value) -> unit Ast.fexp
val exp_of_value : Value.value -> unit Ast.exp
val safe_primops : (Value.value list -> Value.value) StringMap.t
val opt_fold_to_unit : string list Stdlib.ref
val fold_to_unit : Ast_util.IdSet.elt -> bool
val is_constant : Type_check.tannot Ast.exp -> bool
val is_constant_fexp : Type_check.tannot Ast.fexp -> bool
val no_fixed : fixed
val rw_exp : fixed -> string -> (unit -> 'a) -> (unit -> 'b) -> Interpreter.state -> Type_check.tannot Ast.exp -> Type_check.tannot Ast.exp
val rewrite_constant_function_calls' : fixed -> string -> Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs
val rewrite_constant_function_calls : fixed -> string -> Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs
type to_constant =
  1. | Register of Ast.id * Ast.typ * Type_check.tannot Ast.exp
  2. | Register_field of Ast.id * Ast.id * Ast.typ * Type_check.tannot Ast.exp
OCaml

Innovation. Community. Security.