Versions in this module Expand all Collapse all v0 v0.2.0 Aug 14, 2024 v0.1.0 Dec 15, 2023 Changes in this version + func UnifyTypeExpr(xs []ast.BaseTerm, ys []ast.BaseTerm) (map[ast.Variable]ast.BaseTerm, error) + type UnionFind struct + func InitVars(vars []ast.Variable, ts []ast.BaseTerm) (UnionFind, error) + func New() UnionFind + func UnifyTerms(xs []ast.BaseTerm, ys []ast.BaseTerm) (UnionFind, error) + func UnifyTermsExtend(xs []ast.BaseTerm, ys []ast.BaseTerm, base UnionFind) (UnionFind, error) + func (uf UnionFind) AsConstSubstList() ast.ConstSubstList + func (uf UnionFind) Get(v ast.Variable) ast.BaseTerm + func (uf UnionFind) String() string
Go to main page