Module Id.Create3

Parameters

module T : Arg3

Signature

val type_equal_id : 'a t -> 'b t -> 'c t -> ('a, 'b, 'c) T.t t