pub fn not(a: ObjectRef) -> RuntimeResult<ObjectRef>