package prbnmcn-proptest

  1. Overview
  2. Docs

Parameters

module N : Generic.Name

Signature

module Abelian_group_props : sig ... end
module Monoid_props : sig ... end
val n : string -> string
val neg_sub : G.t -> G.t -> bool
OCaml

Innovation. Community. Security.