law conect_lines_nil

bend-prot@0.1.0.0 · LAWS.bend:652

import bend-prot@0.1.0.0/LAWS.bend as LAWS
import 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.