Abstract

Module type for elements of sparse matrices.

We need to be able to determine whether and element is zero, and perhaps perform some other operations on it.

Synopsis

module type element = {
type t
val i64: i64 -> t
val *: t -> t -> t
val +: t -> t -> t
val -: t -> t -> t
val <: t -> t -> bool
}

Description

↑module type element

Element type and required operations for a sparse matrix. This module type is satisfied by standard arithmetic modules such as i32 and f64.

↑type t
↑val i64: i64 -> t
↑val *: t -> t -> t
↑val +: t -> t -> t
↑val -: t -> t -> t
↑val <: t -> t -> bool