module Rewriting: sig .. end
sig
end
Deal with definitions as rewrite rules
module Make: functor (E : Env_intf.S) -> sig .. end
functor (
E
:
Env_intf.S
) ->
module Key: sig .. end
val extension : Extensions.t
Extensions.t