Module Valuation

module Valuation: sig .. end

A valuation is a collection of (name,value) associations

module type VALUE = OrderedTypeExt.T

Values must have an ordered type and must be stringable.

module type T = sig .. end

The output signature of the Make functor

module Make (V : VALUE) : T  with type value = V.t

Functor building an implementation of the Valuation structure given an implementation of values

Some predefined instances

module Bool: T  with type value = bool

module Int: T  with type value = int