law pad_right_golden

bend-prot@0.1.0.0 · LAWS.bend:923

import Base
import bend-prot@0.1.0.0/pdb.bend as Pdb

923law pad_right_golden:
924  {Pdb.pad_right("AB", 5n) == "AB   " : String}