Parameter Solver.A

type t