The double dot notation is mostly used for inequalites:
(x . < . 3) instead of (< x 3)
(any . -> . boolean?) instead of (-> any boolean?)
The double dot notation is mostly used for inequalites:
and for function contracts: