Module Rewriting

module Rewriting: sig .. end

Rewriting

Deal with definitions as rewrite rules


module Make: 
functor (E : Env_intf.S) -> sig .. end
module Key: sig .. end
val extension : Extensions.t