~/jendhub

def tpl_bonded

bend-prot@0.1.0.0 · tpl.bend:33

import bend-prot@0.1.0.0/tpl.bend as Tpl
import Base

33def tpl_bonded(+ra: String, +na: String, +ca: U32, +qa: Nat, rb: String, nb: String, cb: U32, qb: Nat) -> Bool:
34  Bool.and(Bool.and(U32.is_eq(ca, cb), Nat.is_eq(qa, qb)), Bool.and(String.eq(ra, rb), tpl_has_bond(ra, na, nb)))

Uses (9)

Used by (1)