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