Module Heuristics.MakeSource

Parameters

Signature

module Env = E
Sourcemodule C : module type of Env.C
Sourcemodule PS : module type of Env.ProofState
Sourceval register : unit -> unit