Make NAT Lib.kiss more load-friendly

This commit is contained in:
2023-02-13 06:14:22 -07:00
parent 3af8fd5345
commit ad8fdd0fd0

View File

@@ -91,13 +91,13 @@
(for =>cType cId e.components cType))
(function tagsMatch [e tagsBoolExp]
(BoolExpInterp.eval tagsBoolExp (tagList e)))
(nat.BoolExpInterp.eval tagsBoolExp (tagList e)))
(function componentsMatch [:nat.Entry e componentsBoolExp]
(BoolExpInterp.eval componentsBoolExp (componentList e)))
(nat.BoolExpInterp.eval componentsBoolExp (componentList e)))
(function componentsAndTagsMatch [:nat.Entry e componentsAndTagsBoolExp]
(BoolExpInterp.eval componentsAndTagsBoolExp (cast (concat (tagList e) (componentList e)))))
(nat.BoolExpInterp.eval componentsAndTagsBoolExp (cast (concat (tagList e) (componentList e)))))
(defAlias &call catsMatch componentsAndTagsMatch)