package prbnmcn-proptest

  1. Overview
  2. Docs

Module Commutative_ring.Monoid_propsSource

Sourceval n : string -> string
Sourceval associative : (X.t -> X.t -> X.t) -> X.t -> X.t -> X.t -> bool
Sourceval one_neutral_l : G.t -> bool
Sourceval one_neutral_r : G.t -> bool