Parameter ExtendFinite.X

type t