package ortac-runtime

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_runtime`Source

Sourcetype location = {

}

Sourcetype term_kind =

Sourcetype 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;
}

Sourcetype error_report = {

}

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

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

Sourceexception Error of error_report

Sourcemodule Errors : sig ... end

Sourceexception Partial_function of exn * location

Sourcetype integer

Sourceval string_of_integer : integer -> string

Sourceval copy : 'a -> 'a

Sourcemodule Gospelstdlib : sig ... end

Sourcemodule Z : sig ... end