1 2 3 4 5 6
module D = NbE.Domain type item = | Def of { tp : D.t; tm : D.t Lazy.t } type t = (item, unit) Yuujinchou.Trie.t