Up

Module For_all_parameters_S3 (X : Typerep_lib.Std.Typerepable.S3)

Parameters

Signature

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