module For_all_parameters_S5: functor (X : Typerep_lib.Std.Typerepable.S5) -> sig .. end
functor (
X
:
Typerep_lib.Std.Typerepable.S5
) ->
sig
end
val witness : unit -> ('a, 'b, 'c, 'd, 'e) X.t Type_immediacy.Never.t
unit -> ('a, 'b, 'c, 'd, 'e) X.t Type_immediacy.Never.t