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