functor (A : AC_SPEC) ->
  sig
    val flatten : ID.t -> FOTerm.t list -> FOTerm.t list
    val normal_form : FOTerm.t -> FOTerm.t
    val equal : FOTerm.t -> FOTerm.t -> bool
    val symbols : FOTerm.t Sequence.t -> ID.Set.t
    val seq_symbols : FOTerm.t -> ID.t Sequence.t
  end