@@ -16,7 +16,7 @@ with changes, which is useful for recursion among other things.
1616
1717### |$ "barbuc"
1818
19−Produces a mold builder which is a wet gate with one or more molds as its
19+Declares a mold builder wet gate with one or more molds as its
2020sample.
2121
2222##### Syntax
@@ -33,8 +33,8 @@ AST:
3333
3434##### Semantics
3535
36−`|$` is used to produce a wet gate that is a mold builder. The mold builder
37−produced is polymorphic in its input types. `a` is a `lest` of `term` used as
36+`|$` is used to declare a wet gate that is a mold builder. The mold builder
37+is polymorphic in its input types. `a` is a `lest` of `term` used as
3838identifiers for the input types. `b` is a structure built from elements of `a`.
3939The output of `|$` is a mold builder that produces a `spec` obtained by
4040substituting the input types parameterized by `a` into `b`.