sig
  type t = Context | Internals | None
  val value : Context.Mode.t Pervasives.ref
  val set : Context.Mode.t -> ('a -> 'b) -> 'a -> 'b
end