Module Interp.ActionSource

Sourcetype t =
  1. | Now of token:Coq.Limits.Token.t -> Yojson.Safe.t r
  2. | Doc of {
    1. uri : Lang.LUri.File.t;
    2. handler : token:Coq.Limits.Token.t -> doc:Fleche.Doc.t -> Yojson.Safe.t r;
    }