Functor Arith_rat.Make

module Make: 
functor (E : Env.S) -> S  with module Env = E

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