El Lenguaje PLAY
last updated: Friday, September 6th, 2013
Copyright © 2011-2013 by Éric Tanter
The electronic version of this work is licensed under the Creative Commons Attribution Non-Commercial No Derivatives License
1 QuickCheck
1.1 Section 1
procedure
(check config prop) → void?
config : config? prop : property?
Checks a property under the specified configuration.