Module type Arith_rat.S

module type S = sig .. end

module Env: Env.S 

module C: module type of Env.C

module PS: module type of Env.ProofState

Contributions to Env

val register : unit -> unit