Parameter Eq_immutable.S

type a