blob: 8bfbf22d3ac53d16d01545038715e28521d2fe0a (
plain)
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
|
[ ScanFunctionSymbol
( TokenCons
( Command "propform" ) End
)
( Marker "propform" )
, ScanFunctionSymbol
( TokenCons
( Command "propbot" ) End
)
( Marker "propbot" )
, ScanFunctionSymbol
( TokenCons
( Command "propvar" )
( TokenCons InvisibleBraceL
( HoleCons ( TokenCons InvisibleBraceR End ) )
)
)
( Marker "propvar" )
, ScanFunctionSymbol
( HoleCons
( TokenCons
( Command "propto" ) ( HoleCons End )
)
)
( Marker "propto" )
]
|
