def copy_acc

bend-collections-laws-crypto@1.0.0.0 · src/containers/hash_table.bend:90

import Base

90def copy_acc(s: String, ra: String, rb: String) -> String & String:
91  match s:
92    case SNil{}:
93      (rev_onto(ra, SNil{}), rev_onto(rb, SNil{}))
94    case SCon{Chr{+c}, t}:
95      copy_acc(t, SCon{Chr{c}, ra}, SCon{Chr{c}, rb})