Module type Type_generic_intf.M.S5

module type S5 = sig .. end

type ('a, 'b, 'c, 'd, 'e) t 
include Typerepable.S5
val compute : 'a X.t ->
'b X.t ->
'c X.t ->
'd X.t -> 'e X.t -> ('a, 'b, 'c, 'd, 'e) t X.t