You can search for identifiers within the package.
in-package search v0.2.0
p4spectec.util
Util.Error
exception ParseError of Source.region * string
exception UnparseError of string
exception RuntimeError of Source.region * string
exception ElabError of Source.region * string
exception AlgoError of Source.region * string
exception StructError of Source.region * string
exception ProseError of Source.region * string
exception BuiltinError of Source.region * string
exception InterpError of Source.region * string
exception ExternError of Source.region * string
exception StfError of string
exception SpliceError of Source.region * string
val debug_errors : bool
val string_of_error : Source.region -> string -> string
val warn : Source.region -> string -> string -> unit
val error_parse : Source.region -> string -> 'a
val error_parse_no_region : string -> 'a
val error_unparse : string -> 'a
val error_runtime : Source.region -> string -> 'a
val warn_runtime : Source.region -> string -> unit
val error_elab : Source.region -> string -> 'a
val warn_elab : Source.region -> string -> unit
val error_algo : Source.region -> string -> 'a
val warn_algo : Source.region -> string -> unit
val error_struct : Source.region -> string -> 'a
val warn_struct : Source.region -> string -> unit
val error_prose : Source.region -> string -> 'a
val warn_prose : Source.region -> string -> unit
val error_builtin : Source.region -> string -> 'a
val warn_builtin : Source.region -> string -> unit
val error_interp : Source.region -> string -> 'a
val warn_interp : Source.region -> string -> unit
val error_extern : Source.region -> string -> 'a
val warn_extern : Source.region -> string -> unit
val error_stf : string -> 'a
val error_splice : Source.region -> string -> 'a
val warn_splice : Source.region -> string -> unit