package rfsm
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Evaluating and manipulating expressions
exception Illegal_expr of Expr.texception Illegal_application of Expr.texception Illegal_array_access of Expr.texception Illegal_bit_range_access of Expr.texception Illegal_record_access of Expr.tEvaluation environment
type env = (string * Expr.value) listval subst : (string * Expr.value) list -> Expr.t -> Expr.tsubst senv e substitutes each occurence of variable v listed in senv by its value in e
val eval : (string * Expr.value) list -> Expr.t -> Expr.valueeval env e evaluates expression e in the context of environment env