use lubeck::prelude::*;
use proptest::prelude::*;

proptest! {
    #![proptest_config(ProptestConfig {
      cases: 10000, .. ProptestConfig::default()
    })]

    #[test]
    fn string_mempty_left_id(a: String) {
        prop_assert_eq!(String::mempty().mappend(a.clone()), a);
    }

    #[allow(non_snake_case)]
    #[test]
    fn string_mempty_right_id(a: String) {
        prop_assert_eq!(a.clone().mappend(String::mempty()), a);
    }
}