Module type Heuristics.S

module type S = sig .. end

module Env: Env.S 
module C: module type of Env.C
module PS: module type of Env.ProofState
val register : unit -> unit