data/Meta

type Name = {#none; #int : Int; #nat : Nat; #text : Text; #bin : (Name, Name); #tri : (Name, Name, Name); #cons : (Name, [Name]); #record : [(Name, Name)]}

Names as untyped symbol trees. Names serve as locally-unique dynamic identifiers.

type Level = Nat

type Meta = { name : Name; level : Level }

public let Level :

public let Name :

class Counter()

public func next() : Meta