@@ -16,7 +16,8 @@ with changes, which is useful for recursion among other things.
1616
1717### |$ "barbuc"
1818
19−Produces a wet gate that creates a structure parameterized by molds.
19+Produces a mold builder which is a wet gate with one or more molds as its
20+sample.
2021
2122##### Syntax
2223
@@ -32,11 +33,11 @@ AST:
3233
3334##### Semantics
3435
35−`|$` is used to create a wet gate that is polymorphic in its input types and
36−produces a structure. `a` is a `lest` of `term` used as identifiers for the
37−input types. `b` is a structure built from elements of `a`. The output of `|$`
38−is a `spec` obtained by substituting the input types parameterized by `a` into
39−the `b`.
36+`|$` is used to produce a wet gate that makes a mold builder. The mold builder
37+produced is polymorphic in its input types. `a` is a `lest` of `term` used as
38+identifiers for the input types. `b` is a structure built from elements of `a`.
39+The output of `|$` is a mold builder that produces a `spec` obtained by
40+substituting the input types parameterized by `a` into `b`.
4041
4142##### Expands to
4243
@@ -54,9 +55,9 @@ I'm having some trouble deciphering this, would appreciate help. From `hoon.hoon
5455##### Discussion
5556
5657`|$` is a restricted form of `|*`. The use of `|$` over `|*` is one of style, as either could
57−be used to make wet gates that produce structures. The buc in `|$` is a hint that
58+be used to make wet gates that produce mold builders. The buc in `|$` is a hint that
5859`|$` is closely related to buc runes, and thus `|$` should be used to make wet
59−gates that produce structures, while `|*` should be used for any other sort of
60+gates that produce mold builders, while `|*` should be used for any other sort of
6061wet gate. Thus, the second argument of `|$` is frequently a buc
6162rune. For further discussion of wet gates, see the entry for [`|*`](#bartar).
6263