functor (X : Typerep_lib.Std.Typerepable.S5->
  sig
    val witness : unit -> ('a, 'b, 'c, 'd, 'e) X.t Type_immediacy.Always.t
  end