module AC: sig .. end
sig
end
type spec = AC_intf.spec
AC_intf.spec
module type S = AC_intf.S
AC_intf.S
module Make: functor (Env : Env.S) -> S with module Env = Env
functor (
Env
:
Env.S
) ->
S
with module Env = Env
val key_ac : (module AC.S) Logtk.Flex_state.key
(module AC.S) Logtk.Flex_state.key
val extension : Extensions.t
Extensions.t