Module Ortac_qcheck_stm.ConfigSource

Sourcetype t = {
  1. context : Ortac_core.Context.t;
  2. sut_core_type : Ppxlib.core_type;
  3. init_sut : Ppxlib.expression;
}
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 dump : Format.formatter -> t -> unit
Sourceval core_type_of_string : string -> Astlib.Ast_500.Parsetree.core_type Reserr.reserr
Sourceval acceptable_type_parameter : Astlib.Ast_414.Parsetree.core_type -> unit Reserr.reserr
Sourceval core_type_is_a_well_formed_sut : Ppxlib.core_type -> (Ppxlib.longident_loc * Ppxlib.core_type list) Reserr.reserr
Sourceval init_sut_from_string : string -> Astlib.Ast_500.Parsetree.expression Reserr.reserr
Sourceval init : string -> string -> string -> (Gospel.Tast.signature * t) Reserr.reserr