Module Compiler_options

module Default_options = Raw_options.Default_options
module Raw_options : sig ... end
type frontend = {
syntax : Syntax_types.t option;
entry_point : string;
libraries : string list;
project_root : string option;
}
type tools = {
with_types : bool;
self_pass : bool;
}
type test_framework = {
steps : int;
cli_expr_inj : string option;
}
type middle_end = {
test : bool;
init_env : Environment.t;
protocol_version : Environment.Protocols.t;
warn_unused_rec : bool;
syntax_for_errors : Syntax_types.t option;
}
type backend = {
protocol_version : Environment.Protocols.t;
disable_michelson_typechecking : bool;
experimental_disable_optimizations_for_debugging : bool;
enable_typed_opt : bool;
without_run : bool;
views : string list;
constants : string list;
file_constants : string option;
has_env_comments : bool;
}
type t = {
frontend : frontend;
tools : tools;
test_framework : test_framework;
middle_end : middle_end;
backend : backend;
}
val warn_unused_rec : syntax:Syntax_types.t option -> bool -> bool
val make : raw_options:Raw_options.t -> ?syntax:Syntax_types.t -> ?protocol_version:Environment.Protocols.t -> ?has_env_comments:bool -> unit -> t
val set_init_env : t -> Environment.t -> t
val set_test_flag : t -> bool -> t
val set_entry_point : t -> string -> t
val set_views : t -> string list -> t