package ortac-qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Ortac_qcheck_stm.Config`Source

Sourcetype config_under_construction = {

}

Sourceval config_under_construction : config_under_construction

Sourcetype t = {

}

val mk_config : 
  Ortac_core.Context.t ->
  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

val 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

val value_bindings : 
  config_under_construction ->
  Ppxlib.value_binding list ->
  config_under_construction Reserr.reserr

val type_declarations : 
  config_under_construction ->
  Ppxlib.type_declaration list ->
  config_under_construction Reserr.reserr

val module_binding : 
  config_under_construction ->
  Ppxlib.module_binding ->
  config_under_construction Reserr.reserr

val scan_config : 
  config_under_construction ->
  string ->
  config_under_construction Reserr.reserr

Sourceval init : string -> string -> (Gospel.Tast.signature * t) Reserr.reserr