sail 0.14 · OCaml Package

val parse_file : 
  ?loc:Parse_ast.l ->
  string ->
  Lexer.comment list * Parse_ast.def list

val clear_symbols : unit -> unit

val have_symbol : string -> bool

val add_symbol : string -> unit

val preprocess : 
  (Stdlib.Arg.key * Stdlib.Arg.spec * Stdlib.Arg.doc) list ->
  Parse_ast.def list ->
  Parse_ast.def list

val check_ast : 
  Type_check.Env.t ->
  unit Ast_defs.ast ->
  Type_check.tannot Ast_defs.ast * Type_check.Env.t

val rewrite_ast_initial : 
  Type_check.Env.t ->
  Type_check.tannot Ast_defs.ast ->
  Type_check.tannot Ast_defs.ast * Type_check.Env.t

val rewrite_ast_target : 
  string ->
  Type_check.Env.t ->
  Type_check.tannot Ast_defs.ast ->
  Type_check.tannot Ast_defs.ast * Type_check.Env.t

val rewrite_ast_check : 
  Type_check.Env.t ->
  Type_check.tannot Ast_defs.ast ->
  Type_check.tannot Ast_defs.ast * Type_check.Env.t

val opt_file_out : string option Stdlib.ref

val opt_memo_z3 : bool Stdlib.ref

val opt_just_check : bool Stdlib.ref

val opt_reformat : string option Stdlib.ref

val opt_ddump_initial_ast : bool Stdlib.ref

val opt_ddump_tc_ast : bool Stdlib.ref

val opt_ddump_rewrite_ast : (string * int) option Stdlib.ref

val opt_dno_cast : bool Stdlib.ref

val opt_lem_output_dir : string option Stdlib.ref

val opt_isa_output_dir : string option Stdlib.ref

val opt_coq_output_dir : string option Stdlib.ref

val opt_alt_modules_coq : string list Stdlib.ref

val opt_alt_modules2_coq : string list Stdlib.ref

type out_type =

| Lem_out of string list
| Coq_out of string list

val output : 
  string ->
  out_type ->
  (string * Type_check.Env.t * Type_check.tannot Ast_defs.ast) list ->
  unit

val always_replace_files : bool Stdlib.ref

val load_files : 
  ?check:bool ->
  (Stdlib.Arg.key * Stdlib.Arg.spec * Stdlib.Arg.doc) list ->
  Type_check.Env.t ->
  string list ->
  string * Type_check.tannot Ast_defs.ast * Type_check.Env.t

val descatter : 
  Type_check.Env.t ->
  Type_check.tannot Ast_defs.ast ->
  Type_check.tannot Ast_defs.ast * Type_check.Env.t

package sail