# Generated by roxygen2: do not edit by hand

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