package base

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

Parameters

module T : T.T3

Signature

val lift : ('a1, 'b1) equal -> ('a2, 'b2) equal -> ('a3, 'b3) equal -> (('a10, 'a20, 'a30) T.t, ('b10, 'b20, 'b30) T.t) equal
OCaml

Innovation. Community. Security.