<=(oidvector,oidvector)

less than or equal

Reading PG 18·Select a recorded version

Left operand: oidvector
Right operand: oidvector
Result type: bool
Implementing function: oidvectorle(oidvector,oidvector)
Operator kind: Binary
Hash join candidate: no
Merge join candidate: no
aliases: <=, <=(oidvector,oidvector)
manual semantics: Source catalog description; no additional matching manual operator definition claimed
signature: <=(oidvector,oidvector) → bool
source oid: 647

Definition PG 18

less than or equal

Declared operator-family membership

Index AM	Family	Strategy	Purpose	Ordering family
B-tree	oidvector_ops	2	search

Compare versions

Complete source facts

memberships

map[description:less than or equal family:oidvector_ops family_slug:family-btree-oidvector_ops left_type:oidvector method:btree operator:<=(oidvector,oidvector) operator_slug:op-3c3d-oidvector-oidvector purpose:search result_type:bool right_type:oidvector sort_family: sort_family_slug: strategy:2]

operator

{"commutator":"\u003e=(oidvector,oidvector)","function":"oidvectorle(oidvector,oidvector)","hash_join":"f","kind":"b","left_type":"oidvector","merge_join":"f","negator":"\u003e(oidvector,oidvector)","result_type":"bool","right_type":"oidvector","symbol":"\u003c="}

Source references

Full definition and evidence JSON

Definition sources

center · PostgreSQL 18 · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f

Text language: en · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f