Decidable.LAWS
type 'a t
val decidable_1 : unit -> ('a -> Preface_core.Void.t, 'a t -> 'a t) Law.t
val decidable_2 : unit -> ('a -> Preface_core.Void.t, 'a t -> 'a t) Law.t