@_FFI.callback(u'bool(ExternContext*, TypeConstraint*, TypeId*)')
def extern_satisfied_by(context_handle, constraint_id, cls_id):
 c = _FFI.from_handle(context_handle)
 return c.from_id(constraint_id.id_).satisfied_by_type(c.from_id(cls_id.id_))

@ _FFI . callback ( u'bool(ExternContext*, TypeConstraint*, TypeId*)' ) def extern_satisfied_by ( context_handle , constraint_id , cls_id ) : c = _FFI . from_handle ( context_handle ) return c . from_id ( constraint_id . id_ ) . satisfied_by_type ( c . from_id ( cls_id . id_ ) )
given two typeids .