Module Swal.Config

CLI configuration: parses all -- arguments and assembles the t record passed to bin/main.ml. Uses Cmdliner for argument handling.

type bound =
  1. | Auto
  2. | Fixed of Base.int
val pp_bound : Ppx_deriving_runtime.Format.formatter -> bound -> Ppx_deriving_runtime.unit
val show_bound : bound -> Ppx_deriving_runtime.string
val yojson_of_bound : bound -> Ppx_yojson_conv_lib.Yojson.Safe.t
type exts =
  1. | Id
  2. | Prefixes
  3. | Suffixes
val pp_exts : Ppx_deriving_runtime.Format.formatter -> exts -> Ppx_deriving_runtime.unit
val show_exts : exts -> Ppx_deriving_runtime.string
val yojson_of_exts : exts -> Ppx_yojson_conv_lib.Yojson.Safe.t
type t = {
  1. algo : Learner.t;
  2. encoding : Encoding.t;
  3. solver : Solver.t;
  4. lang : Lang.t;
  5. seed : Base.int;
  6. bound : bound;
  7. exts : exts;
  8. log : Utils.Logger.t;
  9. logic : Base.bool;
  10. inc : Base.bool;
}
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t
val algo : Learner.t Cmdliner.Term.t
val encoding : Encoding.t Cmdliner.Term.t
val solver : Solver.t Cmdliner.Term.t
val const_lang_conv : Lang.t Cmdliner.Arg.conv
val parameter_conv : Lang.t Cmdliner.Arg.conv
val lang_conv : Lang.t Cmdliner.Arg.conv
val lang : Lang.t Cmdliner.Term.t
val bound_conv : bound Cmdliner.Arg.conv
val bound : bound Cmdliner.Term.t
val exts : exts Cmdliner.Term.t
val seed : int Cmdliner.Term.t
val log : Dolog.Log.log_level Cmdliner.Term.t
val logic : bool Cmdliner.Term.t
val inc : bool Cmdliner.Term.t
val term : t Cmdliner.Term.t