[ ScanFunctionSymbol
    ( HoleCons
        ( TokenCons
            ( Command "times" ) ( HoleCons End )
        )
    )
    ( Marker "times" )
, ScanFunctionSymbol
    ( TokenCons
        ( Command "unit" ) End
    )
    ( Marker "unit" )
, ScanFunctionSymbol
    ( TokenCons
        ( Command "suc" )
        ( TokenCons InvisibleBraceL
            ( HoleCons ( TokenCons InvisibleBraceR End ) )
        )
    )
    ( Marker "suc" )
]