diff options
| -rw-r--r-- | doc/gf-modules.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gf-modules.html b/doc/gf-modules.html index 155240ea7..52859c2c0 100644 --- a/doc/gf-modules.html +++ b/doc/gf-modules.html @@ -593,7 +593,7 @@ a <b>lock field</b>, cat C ; ===> oper C : Type = T ** {lock_C : {}} ; lincat C = T ; - fun f : C_1 ... C_n -> C ; ===> oper f : A = \x_1,...,x_n -> + fun f : C_1 ... C_n -> C ; ===> oper f : C_1 ... C_n -> C = \x_1,...,x_n -> lin f = t ; t x_1 ... x_n ** {lock_C = <>}; </pre> (Notice that the latter translation is type-correct because of |