@@ -157,6 +157,87 @@ Irregular (structure mode): `[a b c]` is `$:(a b c)`.
157[p=0 q=%$]
157[p=0 q=%$]
163+`[%bsld p=spec q=spec]`: Filters a pre-existing mold to obtain a mold
164+that excludes a particular structure.
168+Regular: **2-fixed**.
172+This can be used to obtain type(s) from a list of types `q` that do not satisfy a
173+requirement given by `p`.
178+~zod:dojo> =foo $%([%bar p=@ud q=@ud] [%baz p=@ud])
180+~zod:dojo> =m $<(%bar foo)
182+~zod:dojo> (m [%bar 2 4])
183+ford: %ride failed to execute:
185+~zod:dojo> (m [%baz 2])
188+~zod:dojo> ;;($<(%foo [@tas *]) [%foo 1])
189+ford: %ride failed to execute:
191+~zod:dojo> ;;($<(%foo [@tas *]) [%bar 1])
198+`[%bsbn p=spec q=spec]`: Filters a mold to obtain a new mold
199+matching a particular structure.
203+Regular: **2-fixed**.
207+This can be used to obtain type(s) from a list of types `q` that satisfy a
208+requirement given by `p`.
214+~zod:dojo> =foo $%([%bar p=@ud q=@ud] [%baz p=@ud])
216+~zod:dojo> =m $>(%bar foo)
218+~zod:dojo> (m [%bar 2 4])
221+>~zod:dojo> (m [%baz 2])
222+ford: %ride failed to execute:
227+~zod:dojo> ;;([@tas *] [%foo 1])
230+~zod:dojo> ;;([@tas *] [%bar 1])
233+~zod:dojo> ;;($>(%foo [@tas *]) [%foo 1])
236+~zod:dojo> ;;($>(%foo [@tas *]) [%bar 1])
237+ford: %ride failed to execute:
160### $- "buchep"
241### $- "buchep"
162`[%bshp p=spec q=spec]`: structure that normalizes to an example gate.
243`[%bshp p=spec q=spec]`: structure that normalizes to an example gate.
@@ -394,4 +475,4 @@ ford: %ride failed to execute:
395~zod:dojo> $:a
476~zod:dojo> $:a