Parameter AbstractLabeled.1-V

type t