package prbnmcn-proptest

  1. Overview
  2. Docs

Generic functors for building property-based tests on some algebraic structures

module Monoid (N : Generic.Name) (X : Generic.Generator) (G : Basic_structures.Basic_intf.Monoid with type t = X.t) : sig ... end
module Ring (N : Generic.Name) (X : Generic.Generator) (G : Basic_structures.Basic_intf.Ring with type t = X.t) : sig ... end
module Module (N : Generic.Name) (R : Generic.Generator) (X : Generic.Generator) (M : Basic_structures.Basic_intf.Module with type t = X.t and type R.t = R.t) : sig ... end
OCaml

Innovation. Community. Security.