Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
I.Arr
SourceOperations on arrays of intervals.
Computes the size of the largest interval of the interval vector.
Computes the mean of the size of intervals of the interval vector.
to_string a
returns a string representation of a
.
Print the interval array to the channel. To be used with Printf
format "%a".
Print the interval array to the formatter. To be used with Format
format "%a".