make substitution a sorted set
authorMart Lubbers <mart@martlubbers.net>
Thu, 4 Mar 2021 08:17:24 +0000 (09:17 +0100)
committerMart Lubbers <mart@martlubbers.net>
Thu, 4 Mar 2021 08:17:24 +0000 (09:17 +0100)
commitefba777fe43f8bf0fa3c269dee279ae60f002cf3
tree01fd220261b188b981f53a772476cfcd8a6da2f0
parentc567868e1db3b01fe90b0dcecf7916f1cf5c9c0f
make substitution a sorted set
ident.c
ident.h
sem/hm/subst.c
sem/hm/subst.h
util.c