package prbnmcn-proptest

  1. Overview
  2. Docs
val n : string -> string
val associative : (X.t -> X.t -> X.t) -> X.t -> X.t -> X.t -> bool
val commutative : ('a -> 'b -> X.t) -> 'c -> 'd -> bool
val zero_neutral_l : G.t -> bool
val zero_neutral_r : G.t -> bool
val neg_inverse : G.t -> bool
val zero_neg_inverse : bool Crowbar.gen