Vignettes and other documentation
Vignettes from package 'restrictR'
restrictR::restrictR
Runtime Contracts for R Functions
HTML
source
R code