law text_codes

lawful-fields@0.1.1.0 · proof_list.bend:173

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

173law text_codes:
174  for +s: String
175  {F.text(F.codes(s)) == s : String}