open Prims
type ('g, 't) non_informative_token = unit
type ('g, 't0, 't1) subtyping_token = unit
type ('g, 't0, 't1) equiv_token = unit
type ('g, 'e, 'c) typing_token = unit
type ('g, 'sc, 't, 'pats) match_complete_token = unit
