• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • prbnmcn-proptest
  • Documentation
  • prbnmcn-proptest lib
  • Proptest .Algebra .Commutative_ring Module
package prbnmcn-proptest
  • prbnmcn-proptest
    • Proptest
      • Algebra
        • Abelian_group
          • 1-N
          • 2-X
          • 3-G
        • Commutative_ring
          • 1-N
          • 2-X
          • 3-G
          • Abelian_group_props
          • Monoid_props
        • Module
          • 1-N
          • 2-R
          • 3-X
          • 4-M
            • R
          • Abelian_group_props
        • Monoid
          • 1-N
          • 2-X
          • 3-G
        • Ring
          • 1-N
          • 2-X
          • 3-G
          • Abelian_group_props
          • Monoid_props
      • Array
        • Array_theory
          • 1-N
          • 2-Repr
          • 3-M
          • 4-A
          • 5-L
          • 6-K
          • 7-V
        • Helpers
          • 1-Repr
          • 2-M
          • 3-A
          • 4-L
          • 5-K
          • 6-V
      • Generators
        • Free_ring
        • Make_ring_gen
          • 1-R
        • Q
        • Z
      • Generic
        • Generator
        • Name
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module N : Generic.Name
module X : Generic.Generator
module G : Basic_structures.Basic_intf.Ring with type t = X.t

Signature

val n : string -> string
module Abelian_group_props : sig ... end
module Monoid_props : sig ... end

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Get Started
  • Language Manual
  • Standard Library API
  • Books
  • Releases

Community

  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct