package archetype

  1. Overview
  2. Docs

Module Archetype.OptionsSource

Sourcetype target_lang =
  1. | Ligo
  2. | SmartPy
  3. | Whyml
  4. | Markdown
  5. | Ocaml
  6. | None
Sourcetype storage_policy =
  1. | Record
  2. | Flat
  3. | Hybrid of (string * string) list
Sourcetype execution_mode =
  1. | WithSideEffect
  2. | WithoutSideEffect
Sourcetype sorting_policy =
  1. | OnTheFly
  2. | OnChange
  3. | None
Sourceval version : string
Sourceval url : string
Sourceval target : target_lang ref
Sourceval storage_policy : storage_policy ref
Sourceval execution_mode : execution_mode ref
Sourceval sorting_policy : sorting_policy ref
Sourceval opt_lsp : bool ref
Sourceval opt_service : bool ref
Sourceval opt_json : bool ref
Sourceval opt_pt : bool ref
Sourceval opt_ext : bool ref
Sourceval opt_ast : bool ref
Sourceval opt_typed : bool ref
Sourceval opt_all_parenthesis : bool ref
Sourceval opt_nse : bool ref
Sourceval opt_sa : bool ref
Sourceval opt_skv : bool ref
Sourceval opt_raw : bool ref
Sourceval opt_raw_whytree : bool ref
Sourceval opt_property_focused : string ref
Sourceval opt_vids : string list ref
Sourceval add_vids : string -> unit
OCaml

Innovation. Community. Security.