package typerep

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

Module Type_equal.LiftSource

needed in some cases even though t is exported and is a gadt

Parameters

module X : sig ... end

Signature

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