law pow10_3

bend-prot@0.1.0.0 · LAWS.bend:357

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

357# 10^3 is 1000.
358law pow10_3:
359  {Pdb.pow10(3n) == 1000 : U32}

Uses (2)

Used by (0)

No other definition uses this definition.