package ortac-runtime-qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Ortac_runtime end

type location = Ortac_runtime.location = {

}

type term_kind = Ortac_runtime.term_kind =

type error = Ortac_runtime.error =

| Violated_axiom
| Axiom_failure of {
1. exn : exn;
}
| Violated_invariant of {
1. term : string;
2. position : term_kind;
}
| Violated_condition of {
1. term : string;
2. term_kind : term_kind;
}
| Specification_failure of {
1. term : string;
2. term_kind : term_kind;
3. exn : exn;
}
| Unexpected_exception of {
1. allowed_exn : string list;
2. exn : exn;
}
| Uncaught_checks of {
1. term : string;
}
| Unexpected_checks of {
1. terms : string list;
}

type error_report = Ortac_runtime.error_report = {

}

val pp_loc : Format.formatter -> location -> unit

val pp_error_report : Format.formatter -> error_report -> unit

exception Error of error_report

module Errors = Ortac_runtime.Errors

exception Partial_function of exn * location

type integer = Ortac_runtime.integer

module Gospelstdlib = Ortac_runtime.Gospelstdlib

module Z = Ortac_runtime.Z

type report = {

}

val report : 
  string ->
  string ->
  (string, STM.res) Either.t ->
  string ->
  (string * location) list ->
  report

val append : report option -> report option -> report option

type STM.ty +=

val dummy : 'a STM.ty * ('b -> string)

val is_dummy : STM.res -> bool

module Make (Spec : STM.Spec) : sig ... end