sig
  val atom : Context.t -> Atom.t -> Context.t Context.Status.t
  val process : Atom.t -> Context.t -> Context.t
  val protect : (Context.t -> Context.t) -> Context.t -> Context.t
end