Source file `Resolver.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
module P =
struct
  type data =
    | Term of Syn.t
    | Sym of Symbol.t
    | Xmlns of {xmlns : string; prefix : string}

  type tag = unit

  type hook = unit (* for modifier hooks; unused here *)
  type context = unit (* for advanced printing and reporting; unused here *)
end

module Scope = Yuujinchou.Scope.Make (P)
module Lang = Yuujinchou.Language