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