Module type Higher_order.S

module type S = sig .. end

module Env: Env.S 
module C: module type of Env.C

Registration

val setup : unit -> unit
Register rules in the environment