package rfsm

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

Module Rfsm.DynamicSource

Dynamic semantics. Used for simulating programs

This is a direct translation of the formal semantics described in the reference manual

Sourcetype cfg = {
  1. mutable act_semantics : Misc.act_semantics;
  2. mutable verbose_level : int;
}
Sourceval cfg : cfg
Sourcemodule type DYNAMIC = sig ... end
Sourcemodule Make (Syntax : Syntax.SYNTAX) (Static : Static.T with module Syntax = Syntax) (Eval : Guest.EVAL with module Syntax = Syntax.Guest and module Value = Static.Value) : DYNAMIC with module Syntax = Syntax and module Static = Static and module Eval = Eval