options.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69type target_lang = | Ligo | LigoStorage | SmartPy | Markdown | Scaml | Michelson | MichelsonStorage | Whyml | Debug [@@deriving show {with_path = false}] type storage_policy = | Record | Flat | Hybrid of (string * string) list [@@deriving show {with_path = false}] type execution_mode = | WithSideEffect | WithoutSideEffect [@@deriving show {with_path = false}] type sorting_policy = | OnTheFly | OnChange | None [@@deriving show {with_path = false}] let version = "1.2.1" let url = "https://archetype-lang.org/" let target = ref (Michelson : target_lang) let storage_policy = ref Record let execution_mode = ref WithSideEffect let sorting_policy = ref OnTheFly let with_init_caller = ref true let opt_lsp = ref false let opt_service = ref false let opt_json = ref false let opt_pt = ref false let opt_extpt = ref false let opt_ext = ref false let opt_ast = ref false let opt_mdl = ref false let opt_typed = ref false let opt_ir = ref false let opt_dir = ref false let opt_mic = ref false let opt_all_parenthesis = ref false let opt_m = ref false let opt_raw = ref false let opt_raw_whytree = ref false let opt_raw_ir = ref false let opt_raw_michelson = ref false let opt_caller = ref "$CALLER_ADDRESS" let opt_decomp = ref false let opt_trace = ref false let opt_metadata_uri = ref "" let opt_metadata_storage = ref "" let opt_property_focused = ref "" let opt_vids : (string list) ref = ref [] let add_vids s = opt_vids := s::!opt_vids