def p_to_string_fast

bend-osdev-bytes@0.1.1.0 · PROOF.bend:612

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

612def p_to_string_fast(+xs: List<&2, U32>) -> {B.to_string(xs) == B.to_string.fast(xs) : String}:
613  Equal.sym(String, B.to_string.fast(xs), B.to_string(xs),
614    Equal.trans(String, B.to_string.go(B.rev_onto(xs, Nil{}), SNil{}), B.to_string.cat(xs, SNil{}), B.to_string(xs), t_go(xs, Nil{}, SNil{}), t_cat(xs)))