Source file `Resolver.ml`

1
2
3
4
5
6
7
8
9
10
11
module P =
struct
  type data = [`Term of Syn.t | `Sym of Symbol.t]
  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