@@ -63,9 +63,18 @@ Regular: **1-fixed**.
64##### Discussion
64##### Discussion
66−A mold is an idempotent gate that is guaranteed to produce a noun of that type. If an input value isn't of the correct type, the bunt value of that type is returned. (See `^*`.)
66+A mold is an idempotent gate that is guaranteed to produce a noun of that type.
67−
67+If an input value isn't of the correct type, the bunt value of that type is
70+`^:` is used to produce a gate that is much like a mold, except that instead of
68−`^:` is used to produce a gate that is much like a mold, except that instead of producing a bunt value when the input value is of the wrong type, it crashes.
71+producing a bunt value when the input value is of the wrong type, it crashes.
73+One may expect that `^:(path /foo)` would result in a syntax error since `^:`
74+only takes one child, but instead it will parse as `=< ^ %:(path /foo)`. Since
75+`:` is the irregular syntax for `=<` this is is parsed as "get `^` (i.e. the
76+mold for cells) from a subject of `(path /foo)`", with `:` being the irregular
70##### Examples
79##### Examples