prbnmcn-proptest
Property-based test helpers for prbnmcn packages
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 23 Aug 2021
- Authors
- Maintainers
Sources
0.0.1.tar.gz
md5=4160cc9b984a44befbff68077db66fb7
sha512=7dfe58a4bf3d275ac46f3cb414f298a635886dae76427ecbfc944675e971b73fda9f89dec42342b263d386d3008b1ad4d4b339b720008c7c3bb5b71ea6a898ae
Dependencies
odoc
with-doc
zarith
>= "1.12"
crowbar
>= "0.2"
prbnmcn-basic-structures
= "0.0.1"
ocaml
>= "4.12.0"
dune
>= "2.8"
Reverse Dependencies