Index of types

C
closed_interval [Closed_interval]	Gives every closed interval (whose endpoints are integers) a unique representation.