type Mark

ezx@1.11.0.0 · src/ez/target.bend:22

import Base

22# what one char of a target is, as far as telling a shorthand from a path
23# goes. A colon is asked about first, so a char that is anything but `Other`
24# is known not to be one: that is what lets a proof say a shorthand never
25# contains `://`.
26type Mark is Data:
27  Slash{}
28  Dot{}
29  Tilde{}
30  Word{}
31  Other{}