




Это именованные параметры, метка которых совпадает с формальным именем параметра:
# let divide ~num ~den = num /. den;;
val divide : num:float -> den:float -> float = <fun>
# divide ~den:10.0 ~num:30.0;;
- : float = 3.
Это описано в разделе определение функцииздесь.