package lascar

  1. Overview
  2. Docs
package lascar
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lascar.ValuationSource

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

Sourcemodule type VALUE = Utils.OrderedTypeExt.T

Values must have an ordered type and must be stringable.

Sourcemodule type T = sig ... end

The output signature of the Make functor

Sourcemodule 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

Sourcemodule Bool : T with type value = bool
Sourcemodule Int : T with type value = int