sig module Make : functor (E : Env_intf.S) -> sig val setup : Rewrite_rule.Set.t -> unit end module Key : sig val rules : Rewrite_rule.Set.t Flex_state.key end val extension : Extensions.t end