blob: fba43e6ebc4bdae01f1b4885bf84db5d0c06aa4c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(** an abstract type representing an error condition *)
type condition
type ps
val ( |=| ) : string -> Value.value -> ps
val ( & ) : ps -> ps -> ps
val empty : ps
(** construct a condition out of a name, a message, a set of properties and an optional parent *)
val condition : string -> string -> ?parent:condition -> ps -> condition
(** print a condition to a human-readable string *)
val to_string_hum : condition -> string
|
