ltsh/typeDB/seq

26 lines
658 B
Text
Raw Permalink Normal View History

::seq [OPTION]... [FIRST [INCREMENT]] LAST {
>0 : None ;
match OPTION... {
--help { <1 : Help~<Seq Char> ; }
--version { <1 : VersionInfo~<Seq Char> ; }
* {
NUM = match OPTION... {
-f--format FORMAT { ~<Float 10 FORMAT>~<Seq Char> }
* { ~<PosInt 10 BigEndian>~<Seq <Digit 10>~Char> }
};
SEP = match OPTION... {
-s--separator SEP { SEP }
* { '\n' }
};
$FIRST : NUM ;
$INCREMENT : NUM ;
$LAST : NUM ;
2023-10-30 15:30:42 +01:00
<1 : <Seq NUM~<Seq Char>>~<SepSeq Char SEP>~<Seq Char> ;
}
}
}