type Id

ezx@1.11.0.0 · src/git/git.bend:31

import Base

31# one prerelease identifier
32type Id is Data:
33  IdNum{n: Nat}
34  IdWord{s: String}