Module AC

module AC: sig .. end

AC redundancy

type spec = AC_intf.spec

module type S = AC_intf.S

module Make: functor (Env : Env.S) -> S  with module Env = Env

val key_ac : (module AC.S) Flex_state.key

val extension : Extensions.t