package mec

  1. Overview
  2. Docs
package mec
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type Ring_sig = sig ... end

Linear algebra module, copied from Nomadic Labs privacy team repository

module type Field_sig = sig ... end
module type Module_sig = sig ... end

This refers to the mathematical generalization of vector space called "module", where the field of scalars is replaced by a ring

module type VectorSpace_sig = sig ... end
module Make_Module (Ring : Ring_sig) : Module_sig with type t = Ring.t