package fsml

  1. Overview
  2. Docs

Module Fsml.ValuationSource

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

Sourcetype name = string
Sourceval name_to_yojson : name -> Yojson.Safe.t
Sourcetype value = Expr.t
Sourceval value_to_yojson : value -> Yojson.Safe.t
Sourcetype t = (name * value) list
Sourceval to_yojson : t -> Yojson.Safe.t
Sourceval compare : t -> t -> int
Sourceval to_string : t -> string
Sourceexception Invalid_valuation of t
Sourceval check : name list -> t -> unit

check names vs checks whether vs is a "complete" valuation wrt. to names. i.e. whether each variable listed in names has a valuation in vs and each variable listed in vs occurs in names. Raises Invalid_valuation in case of failure.

Sourceval empty : t
Sourceexception Duplicate of name
Sourceval add : name -> value -> t -> t
Sourceval remove : name -> t -> t
Sourceval mem : name -> t -> bool
Sourceval assoc : name -> t -> value