Sourcetype 'a t = | No_bound| Open of 'a| Closed of 'a
include Ppx_compare_lib.Equal.S1 with type 'a t := 'a t
Sourceval equal : 'a Base__Ppx_compare_lib.equal -> 'a t Base__Ppx_compare_lib.equal include Ppx_quickcheck_runtime.Quickcheckable.S1 with type 'a t := 'a t