Module type Type.Polymorphic4_input

See module Polymorphic_input: very same functions with three additional arguments corresponding to the additional type variables.

val name : 'a t -> 'b t -> 'c t -> 'd t -> string
type ('a, 'b, 'c, 'd) t
val reprs : 'a -> 'b -> 'c -> 'd -> ('a, 'b, 'c, 'd) t list