package base

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

Parameters

module X : T.T3

Signature

val lift : ('a1, 'b1) t -> ('a2, 'b2) t -> ('a3, 'b3) t -> (('a1, 'a2, 'a3) X.t, ('b1, 'b2, 'b3) X.t) t