Parameter Magma.1-T

type t