Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package ortac-runtime
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type error = | Violated_axiom| Axiom_failure of {}| Violated_invariant of {term : string;position : term_kind;
}| Violated_condition of {term : string;term_kind : term_kind;
}| Specification_failure of {term : string;term_kind : term_kind;exn : exn;
}| Unexpected_exception of {}| Uncaught_checks of {}| Unexpected_checks of {}
val pp_loc : Format.formatter -> location -> unitval pp_error_report : Format.formatter -> error_report -> unitexception Error of error_reportmodule Errors : sig ... endexception Partial_function of exn * locationval string_of_integer : integer -> stringmodule Gospelstdlib : sig ... endmodule Z : sig ... end