v1 | Term.Builtin.Convenience |
v2 | Term.Builtin.Convenience |
v3 | Term.Builtin.Convenience |
v4 | Term.Builtin.Convenience |
v5 | Term.Builtin.Convenience |
v6 | Term.Builtin.Convenience |
v7 | Term.Builtin.Convenience |
v8 | Term.Builtin.Convenience |
v9 | Term.Builtin.Convenience |
Var | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
var | Term.Builtin.Convenience |
variantsFrom | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
varOccurences | Term.LTerm, Term.Substitution, Term.Unification, Term.Subsumption |
varsRange | Term.Substitution, Term.Unification |
varsRangeVFresh | Term.Substitution, Term.Unification |
varsVTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
varTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
verify | Term.Builtin.Convenience |
verifySym | Term.Builtin.Signature, Term.Builtin.Rules |
viewTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
viewTerm2 | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
VTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |