sig type a = Pervasives.open_flag val min_bound : a val max_bound : a end