site/contents/_includes/_defs_.md
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 |
{#op => ## $1 > %operator% > [ $2 **⇒** $3](class:kwd) > > $4 #} {# link-module => [`$1` Module](/reference-$1/) #} {{q => [(\*)](class:kwd)}} {{1 => [(1)](class:kwd)}} {{2 => [(2)](class:kwd)}} {{e => [(E)](class:kwd)}} {{i => [I](class:kwd)}} {{n => [N](class:kwd)}} {{any => [\*](class:kwd)}} {{s => [S](class:kwd)}} {{s1 => [S1](class:kwd)}} {{s2 => [S2](class:kwd)}} {{sp => [S+](class:kwd)}} {{sl => [ยง](class:kwd)}} {{f => [false](class:kwd)}} {{t => [true](class:kwd)}} {{null => ∅}} |