@@ -40,11 +40,15 @@ Pair after
4040
4141Compose forward
4242
43−Build `f` such that `(f x) .= (b (a x))`.
43+Call gate `a`, then call gate `b` with its product.
44+
45+This is a wet gate that takes two gates and produces a new gate.
46+
47+This is the inverse of [`++corl`](#corl).
4448
4549#### Accepts
4650
47−`a` is a noun.
51+`a` is a gate.
4852
4953`b` is a gate.
5054
@@ -57,14 +61,11 @@ Build `f` such that `(f x) .= (b (a x))`.
5761#### Examples
5862
5963```
60− > (:(cork dec dec dec) 20)
61− 17
62−
63− > `@ub`(bex (met 0 23))
64− 0b10.0000
64+> ((cork dec |=(a=@ [a a])) 20)
65+[19 19]
6566
66− > `@ub`((cork (cury met 0) bex) 23)
67− 0b10.0000
67+> ((cork dec some) 20)
68+[~ u=19]
6869```
6970
7071---
@@ -73,13 +74,17 @@ Build `f` such that `(f x) .= (b (a x))`.
7374
7475Compose backward
7576
76−Build `f` such that
77+Call gate `b`, then call gate `a` with its product.
78+
79+This is a wet gate that takes two gates and produces a new gate.
80+
81+This is the inverse of [`++cork`](#cork).
7782
7883#### Accepts
7984
8085`a` is a gate.
8186
82−`b` is a noun.
87+`b` is a gate.
8388
8489#### Source
8590
@@ -95,8 +100,11 @@ Build `f` such that
95100#### Examples
96101
97102```
98− > ((corl (lift bex) (slat %ud)) '2')
99− [~ 4]
103+> ((corl |=(a=@ [a a]) dec) 20)
104+[19 19]
105+
106+> ((corl some dec) 20)
107+[~ u=19]
100108```
101109
102110---