module Status: sig end
sig end
type 'a t =
'a
|
Valid
Inconsistent
Ok of 'a
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
Format.formatter -> 'a -> unit
Format.formatter
'a t