module Status: sig end
sig end
type 'a t =
'a
|
Valid of Jst.t
Jst.t
Inconsistent of Jst.t
Ok of 'a
val pp : 'a Pretty.printer -> 'a t Pretty.printer
'a Pretty.printer -> 'a t Pretty.printer
'a Pretty.printer
Format.formatter
'b t