base

Full standard library replacement for OCaml
IN THIS PACKAGE

Parameters

module M1 : Injective
module M2 : Injective

Signature

type 'a t = 'a M1.t M2.t
val strip : ( 'a t, 'b t ) equal -> ( 'a, 'b ) equal