module algebra.

%%% semantic domains
kind value		type.
kind boolean		type.
kind location		type.
kind abstractValueField	type.

type tt			boolean.
type ff			boolean.

type theVoidValue	value.
type inInteger		int -> value.
type inTruthValue	boolean -> value.


%%% algebras
kind algebra		type.

type evaluate_in_algebra	algebra -> string -> (list value)
					-> value -> o.