HomeLangWlstDomaincustom
Table of Contents
After a domainCustom() in Wlst, you can compare the trees.