# Terminology in documentation

**URL:** <https://racket.discourse.group/t/terminology-in-documentation/1015>\
**Category:** Questions & Answers\
**Created:** [May 20, 2022, 10:22pm UTC](https://racket.discourse.group/t/terminology-in-documentation/1015 "2022-05-20T22:22:40Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![tyonkman](https://avatars.discourse-cdn.com/v4/letter/t/8c91f0/32.png) [@tyonkman](https://racket.discourse.group/u/tyonkman)\
**Post date:** [May 20, 2022, 10:22pm UTC](https://racket.discourse.group/t/terminology-in-documentation/1015/1 "2022-05-20T22:22:41Z")

</div>

The term "CVT" is used in section 3.14 of the reference manual. I cannot find what it means. Using the documentation search tools does not help.  
Thanks,

---

<div class="post-metadata">

**Author:** ![alexh](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/alexh/32/315_2.png) [@alexh](https://racket.discourse.group/u/alexh)\
**Post date:** [May 21, 2022, 3:07am UTC](https://racket.discourse.group/t/terminology-in-documentation/1015/2 "2022-05-21T03:07:39Z")

</div>

I don't know what "CVT" stands for, but the actual CVT function is explained in the paragraph following to the one where it is introduced (emphasis is mine):

* * *

the generated procedure is (CVT (head args) body [...+](https://docs.racket-lang.org/syntax/stxparse-patterns.html#%28form._%28%28lib._syntax%2Fparse..rkt%29._......%2B%29%29)), **using the CVT meta-function defined as follows** :

> (CVT (id . kw-formals) . datum) [=](https://docs.racket-lang.org/reference/generic-numbers.html#%28def._%28%28quote._~23~25kernel%29._~3d%29%29) ([lambda](https://docs.racket-lang.org/reference/lambda.html#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._lambda%29%29) kw-formals . datum)  
> (CVT (head . kw-formals) . datum) [=](https://docs.racket-lang.org/reference/generic-numbers.html#%28def._%28%28quote._~23~25kernel%29._~3d%29%29) ([lambda](https://docs.racket-lang.org/reference/lambda.html#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._lambda%29%29) kw-formals expr)  
> if (CVT head . datum) [=](https://docs.racket-lang.org/reference/generic-numbers.html#%28def._%28%28quote._~23~25kernel%29._~3d%29%29) expr

* * *

What it is saying is that you can have the following definition types:

```scheme
(define (foo x y) (+ x y))
;; equivalent to
(define foo (lambda (x y) (+ x y))

(define ((foo x) y) (+ x y))
;; equivalent to
(define foo (lambda (x) (lambda (y) (+ x y))

```

Maybe "CVT" stands for "convert?

Alex.