Improve the doc of update-function-form->update-function/01.

This commit is contained in:
Sergiu Ivanov 2022-05-04 01:20:50 +02:00
parent 43e29f928b
commit 007baa5e41

View file

@ -263,7 +263,7 @@ function operates on Boolean states.
(UpdateFunction (U Zero One))]{
Like @racket[update-function-form->update-function/01], but the resulting
function operates on Boolean states.
function operates on Boolean states, with the domain @tt{{0,1}}.
@ex[
(define and-from-form/01 (update-function-form->update-function/01 '(min x y)))