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 t = {

}

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

val core_type_of_string : 
  string ->
  Astlib.Ast_500.Parsetree.core_type Reserr.reserr

val acceptable_type_parameter : 
  Astlib.Ast_414.Parsetree.core_type ->
  unit Reserr.reserr

val core_type_is_a_well_formed_sut : 
  Ppxlib.core_type ->
  (Ppxlib.longident_loc * Ppxlib.core_type list) Reserr.reserr

Sourceval sut_core_type : string -> Astlib.Ast_500.Parsetree.core_type Reserr.reserr

val init_sut_from_string : 
  string ->
  Astlib.Ast_500.Parsetree.expression Reserr.reserr

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