s7contract-package	s7contract
%::%	grapes-colon-colon-grapes
assert_implements	interface_requirements
assert_trait	trait_methods
assume	new_law
as_interface	interface_requirements
check_law	new_law
contract_syntax	grapes-colon-colon-grapes
expect_law	new_law
format_check_result	new_law
gen_bind	gen_bind
gen_choice	gen_element
gen_commands	gen_commands
gen_constant	gen_constant
gen_double	gen_double
gen_element	gen_element
gen_example	gen_example
gen_integer	gen_constant
gen_map	gen_constant
gen_no_shrink	gen_example
gen_product	gen_constant
gen_recursive	gen_bind
gen_resize	gen_bind
gen_sample	gen_sample
gen_sized	gen_bind
gen_subsequence	gen_sample
gen_vector	gen_constant
has_trait	trait_methods
implements	interface_requirements
impl_trait	trait_methods
interface_report	interface_requirements
interface_requirement	new_interface
interface_requirements	interface_requirements
missing_requirements	interface_requirements
new_command	new_command
new_generator	new_generator
new_interface	new_interface
new_law	new_law
new_state_law	new_state_law
new_trait	new_trait
s7contract	s7contract
trait_assoc_const	trait_methods
trait_assoc_type	trait_methods
trait_call	trait_methods
trait_method	new_trait
trait_methods	trait_methods
trait_report	trait_methods
