Module Libzipperposition.AC

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 S) Logtk.Flex_state.key
val extension : Extensions.t