Module Ortac_qcheck_stm.ConfigSource

Sourcetype config_under_construction = {
  1. sut_core_type' : Ppxlib.core_type option;
  2. init_sut' : Ppxlib.expression option;
  3. gen_mod' : Ppxlib.structure option;
  4. pp_mod' : Ppxlib.structure option;
  5. ty_mod' : Ppxlib.structure option;
  6. cleanup' : Ppxlib.structure_item option;
}
Sourceval config_under_construction : config_under_construction
Sourcetype t = {
  1. context : Ortac_core.Context.t;
  2. sut_core_type : Ppxlib.core_type;
  3. init_sut : Ppxlib.expression;
  4. init_sut_txt : string;
  5. gen_mod : Ppxlib.structure option;
  6. pp_mod : Ppxlib.structure option;
  7. ty_mod : Ppxlib.structure option;
  8. cleanup : Ppxlib.structure_item option;
  9. module_prefix : string option;
  10. submodule : string option;
}
Sourceval mk_config : Ortac_core.Context.t -> string option -> string option -> config_under_construction -> t Reserr.reserr
Sourceval get_sut_type_name : t -> Ppxlib.longident
Sourceval get_sut_type_name_str : t -> string
Sourceval is_sut : t -> Ppxlib.core_type -> bool
Sourceval does_return_sut : t -> Ppxlib.core_type -> bool
Sourceval dump : Format.formatter -> t -> unit
Sourceval acceptable_type_parameter : Astlib.Ast_414.Parsetree.core_type -> unit Reserr.reserr
Sourceval core_type_is_a_well_formed_sut : Ppxlib.core_type -> unit Reserr.reserr
Sourceval value_bindings : config_under_construction -> Ppxlib.value_binding list -> config_under_construction Reserr.reserr
Sourceval type_declarations : config_under_construction -> Ppxlib.type_declaration list -> config_under_construction Reserr.reserr
Sourceval module_binding : config_under_construction -> Ppxlib.module_binding -> config_under_construction Reserr.reserr
Sourceval init : string -> string -> string option -> string option -> (Gospel.Tast.signature * t) Reserr.reserr