From bd2149f27cdb262a4103c33cc1426dd49ef97ffb Mon Sep 17 00:00:00 2001 From: ajreynol Date: Fri, 21 Jun 2024 10:36:09 -0500 Subject: [PATCH] More --- user_manual.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user_manual.md b/user_manual.md index 42bbf0e8..aab8451c 100644 --- a/user_manual.md +++ b/user_manual.md @@ -209,7 +209,7 @@ We call `T` in the above definitions a *parameter*. The free parameters of the r ## The :requires annotation -Arguments to functions can also be annotated with the attribute `:requires ( )` to denote a condition under which the +Arguments to functions can also be annotated with the attribute `:requires ( )` to denote a equality condition that is required for applications of the term to type check. ``` (declare-sort Int 0)