law text_codes

lawful-fields@0.1.1.0 · LAWS.bend:141

import Base
import lawful-fields@0.1.1.0/defs.bend as F

141law text_codes:
142  for s: String
143  {F.text(F.codes(s)) == s : String}