SegmentBindingFunctions2(R, S)

seg.spad line 269 [edit on github]

• R: Type

• S: Type

This package provides operations for mapping functions onto SegmentBindings.

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

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