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 => ∅}}
|