functor (X : Typerep_lib.Std.Typerepable.S3) -> sig val witness : unit -> ('a, 'b, 'c) X.t Type_immediacy.Sometimes.t end