The type for 1D boxes (closed intervals).

dim is the dimension of the boxes of type box2.

The type for 1D vectors.

The type for 1D points.

The type for 1D sizes.

The type for matrices representing linear transformations of 1D space.

v o size is a box whose origin is o and size is size.

v_mid mid size is a box whose mid point is mid and size is size.

empty is the empty box.

o b is the origin of b.

Raises Invalid_argument on empty

ox b is o b.

size b is the size of b.

Raises Invalid_argument on empty

w b is size b.

zero is a box whose origin and size is zero.

unit is the unit box which extends from zero to one in all dimensions.

of_pts p p' is the smallest box whose space contains p and p'.

add_pt b p is the smallest box whose space contains b and p.

min b is the smallest point of b (its origin).

Raises Invalid_argument on empty

minx b is min b.

max b is the greatest point of b (its size added to the origin).

Raises Invalid_argument on empty

maxx b is max b.

mid b is the mid point between min and max.

Raises Invalid_argument on empty

midx b is mid b.

left b is minx b.

right b is maxx b.

area b is the surface area of b.

inter b b' is a box whose space is the intersection of S(b) and S(b').

union b b' is the smallest box whose space contains S(b) and S(b').

inset d b is b whose edges are inset in each dimension according to amounts in d. Negative values in d outset. If the size in dimension i becomes negative it is clamped to 0 and the ith coordinate of the mid point of b is used for the ith coordinate of the resulting box's origin. Returns empty on empty.

round b is the smallest box containing b with integer valued corners. Returns empty on empty.

move d b is b translated by d. Returns empty on empty.

ltr m b is the smallest box containing the corners of b transformed by m. Returns empty on empty.

tr m b is the smallest box containing the corners of b transformed by m in homogenous 1D space. Returns empty on empty.

map_f f b is the box whose origin and size are those of b with their components mapped by f. Returns empty on empty.

is_empty b is true iff b is empty.

is_pt b is true iff b is not empty and its size is equal to 0 in every dimension.

isects b b' is not (is_empty (inter b b')).

subset b b' is true iff S(b) is included in S(b').

mem p b is true iff p is in S(b).

equal b b' is b = b'.

equal_f eq b b' tests b and b' like equal but uses eq to test floating point values.

compare u v is Stdlib.compare u v.

compare_f cmp b b' compares b and b' like compare but uses cmp to compare floating point values.

pp ppf b prints a textual representation of b on ppf.

pp_f pp_fl ppf b prints b like pp but uses pp_fl to print floating point values.