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