# SegmentBinding SΒΆ

- S: Type

This domain is used to provide the function argument syntax `v=a..b`

. This is used, for example, by the top-level draw functions.

- =: (%, %) -> Boolean if S has SetCategory
- from BasicType
- ~=: (%, %) -> Boolean if S has SetCategory
- from BasicType
- coerce: % -> OutputForm if S has SetCategory
- from CoercibleTo OutputForm
- convert: % -> InputForm if S has ConvertibleTo InputForm
- from ConvertibleTo InputForm

- equation: (Symbol, Segment S) -> %
`equation(v, a..b)`

creates a segment binding value with variable`v`

and segment`a..b`

. Note that the interpreter parses`v=a..b`

to this form.- hash: % -> SingleInteger if S has SetCategory
- from SetCategory
- hashUpdate!: (HashState, %) -> HashState if S has SetCategory
- from SetCategory
- latex: % -> String if S has SetCategory
- from SetCategory

- segment: % -> Segment S
`segment(segb)`

returns the segment from the right hand side of the SegmentBinding. For example, if`segb`

is`v=a..b`

, then`segment(segb)`

returns`a..b`

.

- variable: % -> Symbol
`variable(segb)`

returns the variable from the left hand side of the SegmentBinding. For example, if`segb`

is`v=a..b`

, then`variable(segb)`

returns`v`

.

BasicType if S has SetCategory

CoercibleTo OutputForm if S has SetCategory

ConvertibleTo InputForm if S has ConvertibleTo InputForm

SetCategory if S has SetCategory