exception UnexpectedGetterOutput;;
(* resolve_result is needed because it is not possible to raise *)
-(* an exception in a pxp even-processing callback. Too bad. *)
+(* an exception in a pxp ever-processing callback. Too bad. *)
type resolve_result =
Unknown
| Exception of exn