package bastet

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Compare.ContravariantSource

Parameters

module E : Interface.EQ1 with type 'a t = 'a C.t

Signature

Sourceval id : ('a, 'a) Function.Category.t
Sourceval (<.) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
Sourceval identity : 'a C.t -> bool
Sourceval composition : ('c -> 'b) -> ('b -> 'a) -> 'a C.t -> bool
OCaml

Innovation. Community. Security.