package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Decidable.For`

Parameters

module D : Preface_specs.DECIDABLE

Signature

val decidable_1 : unit -> ('a -> Preface_core.Void.t, 'a D.t -> 'a D.t) Law.t

val decidable_2 : unit -> ('a -> Preface_core.Void.t, 'a D.t -> 'a D.t) Law.t