module D = NbE.Domain

type item =
  | Def of { tp : D.t; tm : D.t Lazy.t }

type t = (item, unit) Yuujinchou.Trie.t