package base

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

Module Type_equal.LiftSource

Parameters

module T : T.T1

Signature

Sourceval lift : ('a, 'b) equal -> ('a T.t, 'b T.t) equal