Previous
Up
Module
Arith_rat.S.PS
module
PS:
module type of Env.ProofState