@@ -16,7 +16,8 @@ with changes, which is useful for recursion among other things.
17### |$ "barbuc"
17### |$ "barbuc"
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
21##### Syntax
22##### Syntax
@@ -32,11 +33,11 @@ AST:
33##### Semantics
34##### Semantics
36+`|$` is used to produce a wet gate that makes a mold builder. The mold builder
35−`|$` is used to create a wet gate that is polymorphic in its input types and
37+produced is polymorphic in its input types. `a` is a `lest` of `term` used as
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+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
38−is a `spec` obtained by substituting the input types parameterized by `a` into
40+substituting the input types parameterized by `a` into `b`.
41##### Expands to
42##### Expands to
@@ -54,9 +55,9 @@ I'm having some trouble deciphering this, would appreciate help. From `hoon.hoon
54##### Discussion
55##### Discussion
56`|$` is a restricted form of `|*`. The use of `|$` over `|*` is one of style, as either could
57`|$` 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
58`|$` is closely related to buc runes, and thus `|$` should be used to make wet
59`|$` 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
60wet gate. Thus, the second argument of `|$` is frequently a buc
61wet gate. Thus, the second argument of `|$` is frequently a buc
61rune. For further discussion of wet gates, see the entry for [`|*`](#bartar).
62rune. For further discussion of wet gates, see the entry for [`|*`](#bartar).