test/golden/inductive/scanning.golden


1
2
3
4
5
6
7
8
9

[ ScanFunctionSymbol
    ( TokenCons
        ( Command "fin" )
        ( TokenCons InvisibleBraceL
            ( HoleCons ( TokenCons InvisibleBraceR End ) )
        )
    )
    ( Marker "fin" )
]