Module Arith_rat.S.PS

module PS: module type of Env.ProofState