def canonical_tokens

qasim-bend-kit@0.1.0.2 · proof/JSON_SourceProof.bend:1429

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J
import qasim-bend-kit@0.1.0.2/proof/JSON_AssemblyProof.bend as A

1429def canonical_tokens(+value: J.Value,
1430                     +mode: A.Mode,
1431                     -tail: List<J.Token>) -> {canonical(value, mode, tail) == A.tokens(value, mode, tail) : List<J.Token>}:
1432    {==}