import LIB/default.lm;

type Token (Token( String , U64 , U64 ));

main := λ. (: (
  (let t (Token( 'A_s 1_u64 2_u64 )))
  (match t (
    ()
    ( 'A_t (print 'OK_s) )
  ))
  (match t (
    ()
    ( a_t (print a) )
  ))
) Nil);