package higher

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

higher
- CHANGES
- LICENSE
- README
- Library higher
  - Higher
    
    Newtype0
    
    Newtype0
    
    Newtype1
    
    Newtype1
    
    Newtype2
    
    Newtype2
    
    Newtype3
    
    Newtype3
    
    Newtype4
    
    Newtype4
    
    Newtype5
    
    Newtype5
    
    Newtype6
    
    Newtype6
- Sources
  - higher
    
    higher.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Higher.Newtype3`Source

Parameters

module T : sig ... end

Signature

Sourcetype ('a, 'b, 'c) s = ('a, 'b, 'c) T.t

Sourcetype t

Sourceval inj : ('a, 'b, 'c) s -> ('a, ('b, ('c, t) app) app) app

Sourceval prj : ('a, ('b, ('c, t) app) app) app -> ('a, 'b, 'c) s