package prbnmcn-proptest

  1. Overview
  2. Docs

Parameters

module N : Generic.Name
module M : Basic_structures.Basic_intf.Module with type t = X.t and type R.t = R.t

Signature

val n : string -> string
module Abelian_group_props : sig ... end
val distribute_over_vector_add : M.R.t -> M.t -> M.t -> bool
val scalar_add_distribute_over_smul : M.R.t -> M.R.t -> M.t -> bool
val scalar_mul_distribute_over_smul : M.R.t -> M.R.t -> M.t -> bool
val scalar_mul_unit : M.t -> bool