Up

Module For_all_parameters_S2 (X : Typerep_lib.Std.Typerepable.S2)

Parameters

Signature

val witness : unit -> (_, _) X.t t