package base

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

Module Type_equal.Lift2Source

Parameters

module T : T.T2

Signature

Sourceval lift : ('a1, 'b1) equal -> ('a2, 'b2) equal -> (('a1, 'a2) T.t, ('b1, 'b2) T.t) equal