impl_proptest: use core instead of std
#180
+1
−1
Open
core instead of std
#180