basic_assign.txt

coin = uint

epoch = uint

header =
  [ header_body
  , body_signature : $kes_signature
  , test           : coin/ null
  , withComment    : null ; This is a comment
  , true
  ]

header_body = [issuer : text]

$kes_signature = bytes .size 32

unit_interval<denominator> = [0 .. denominator, denominator]

unit_int = unit_interval<4294967295>

mysize = 16

sz1 = bytes .size 1

sz2 = bytes .size 2

sz32 = bytes .size 32

sz16 = bytes .size mysize

usz4 = uint .size 4

usz8 = uint .size 8

group = (usz4, usz8/ mysize, header_body, {* uint => coin})

set<a> = [* a]

set2<a> = set<a>

coin_bag = set2<coin>

big_group =
  (    "hello"
  ,    32
  , 8* 4
  ,    & group
  ,    uint
  ,    unit_interval<3>
  ,    5 ... 10
  ,    h'11aaff3351bc'
  )