Module Context.Process

module Process: sig  end

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