sig type 'a t = 'a t type 'a bound = 'a type 'a interval = 'a interval end