SegmentBindingFunctions2(R, S)

seg.spad line 269 [edit on github]

• R : Type
• S : Type

This package provides operations for mapping functions onto SegmentBindings.

map : (Mapping(S, R), SegmentBinding(R)) -> SegmentBinding(S)

map(f, v=a..b) returns the value given by v=f(a)..f(b).