Module type Type.Polymorphic4_input

module type Polymorphic4_input = sig .. end

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


val name : 'a Type.t -> 'b Type.t -> 'c Type.t -> 'd Type.t -> string
val module_name : string
val structural_descr : Structural_descr.t ->
Structural_descr.t ->
Structural_descr.t -> Structural_descr.t -> Structural_descr.t
type ('a, 'b, 'c, 'd) t 
val reprs : 'a -> 'b -> 'c -> 'd -> ('a, 'b, 'c, 'd) t list