Module type Bounding_box_intf.S

module type S = sig .. end

module Num: Bounding_box_intf.Numeric_S 

type a = Num.t 

type c = a * a 

type t = c * c 

val empty : t

val area : t -> a

val overlaps : t -> t -> bool

val union : t -> t -> t

val union_many : t list -> t

val delta : t -> t -> a

val distance : t -> t -> a