module For_all_parameters_S1: functor (X : Typerep_lib.Std.Typerepable.S1) -> sig .. end
functor (
X
:
Typerep_lib.Std.Typerepable.S1
) ->
sig
end
val witness : unit -> 'a X.t Type_immediacy.Always.t
unit -> 'a X.t Type_immediacy.Always.t