Up

Module For_all_parameters_S1 (X : Typerep_lib.Std.Typerepable.S1)

Parameters

Signature

val witness : unit -> _ X.t t