The positions an adposition can take relative to the term it governs.
- pre : Linearization
A preposition precedes the term.
- post : Linearization
A postposition follows the term.
- circum : Linearization
A circumposition brackets the term, one piece on each side.
- inposition : Linearization
An inposition occurs inside the term.
Derives DecidableEq, Repr, Fintype.
Used by Adposition