package prbnmcn-proptest

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Algebra.Module`Source

module N : Generic.Name

module R : Generic.Generator

module X : Generic.Generator

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

Sourceval n : string -> string

Sourcemodule Abelian_group_props : sig ... end

Sourceval distribute_over_vector_add : M.R.t -> M.t -> M.t -> bool

Sourceval scalar_add_distribute_over_smul : M.R.t -> M.R.t -> M.t -> bool

Sourceval scalar_mul_distribute_over_smul : M.R.t -> M.R.t -> M.t -> bool

Sourceval scalar_mul_unit : M.t -> bool