Imports github.com/leanovate/gopter github.com/leanovate/gopter/arbitrary github.com/leanovate/gopter/prop Standard library imports bytes