module FList: sig .. end
include Utilsigs.BasicType
val terms : t -> Sl_term.Set.t
Convenience function converting the list to a set.
val vars : t -> Sl_term.Set.t
Returns the set of all elements of the list that are not nil
val to_string_sep : string -> t -> string
to_string_sep sep ts converts ts to a string with each element separated by sep.
val subst : Sl_term.Subst.t -> t -> t
Applies a substitution to the list
val unify : ?update_check:(Sl_term.Subst.t * Sl_term.Subst.t) Fun.predicate ->
(Sl_term.Subst.t, 'a, t) Unification.cps_unifier
Unifies two lists of terms by producing a substitution to act on the first list
val biunify : ?update_check:((Sl_term.Subst.t * Sl_term.Subst.t) *
(Sl_term.Subst.t * Sl_term.Subst.t))
Fun.predicate ->
(Sl_term.Subst.t * Sl_term.Subst.t, 'a, t) Unification.cps_unifier
Unifies two lists of terms by producing substitutions to act on each list respectively