package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Alt.For`

module A : Preface_specs.ALT

include Indexed_alt.LAWS with type ('a, _) t := 'a A.t

include Indexed_functor.LAWS with type ('a, 'index) t := 'a A.t

val functor_1 : unit -> ('a A.t, 'a A.t) Law.t

val functor_2 : unit -> ('a -> 'b, ('c -> 'a) -> 'c A.t -> 'b A.t) Law.t

val alt_1 : unit -> ('a A.t, 'a A.t -> 'a A.t -> 'a A.t) Law.t

val alt_2 : unit -> ('a -> 'b, 'a A.t -> 'a A.t -> 'b A.t) Law.t