law pow10_3
import bend-prot@0.1.0.0/LAWS.bend as LAWSimport 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.
import bend-prot@0.1.0.0/LAWS.bend as LAWSimport 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}
No other definition uses this definition.