law pad_left_golden

bend-prot@0.1.0.0 · LAWS.bend:919

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

919# Padding and symbols print as written.
920law pad_left_golden:
921  {Pdb.pad_left("AB", 5n) == "   AB" : String}

Uses (2)

Used by (0)

No other definition uses this definition.