1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
trait val PrefixSpec

primitive PrefixDefault is PrefixSpec

primitive PrefixSpace is PrefixSpec
primitive PrefixSign is PrefixSpec

type PrefixNumber is
  ( PrefixDefault
  | PrefixSpace
  | PrefixSign )