Interface BaseTerm

ast/ast.go:138–148

BaseTerm represents a subset of terms: constant, variables or ApplyFn. Every BaseTerm will implement Term.

// BaseTerm represents a subset of terms: constant, variables or ApplyFn.
// Every BaseTerm will implement Term.
type BaseTerm interface {
	Term

	// Marker method.
	isBaseTerm()

	Hash() uint64

	// Returns a new base term.
	ApplySubstBase(s Subst) BaseTerm
}

// Subst is the interface for substitutions.
// This interface provides mapping from a variable to BaseTerm.