law conect_lines_nil
import bend-prot@0.1.0.0/LAWS.bend as LAWSimport Base
import bend-prot@0.1.0.0/pdb.bend as Pdb
652# No lines in, no bonds out.
653law conect_lines_nil:
654 {Pdb.conect_lines(Nil{}) == Nil{} : List<&2, String>}
Uses (3)
Used by (0)
No other definition uses this definition.