(lang dune 1.0)
(name rresult)
(version v0.7.0+dune)
