external dAreConnectedExcluding : a:dBodyID -> b:dBodyID -> joint_type -> bool = "ocamlode_dAreConnectedExcluding"