package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

We need to be able to hash and compare keys, and values need to form a monoid

type key
type value
val hash : key -> int
val equal : key -> key -> bool
val merge : value -> value -> value

Should be associative commutative

val zero : value

Neutral element of merge