package rfsm

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Dynamic semantics. Used for simulating programs

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

type cfg = {
  1. mutable act_semantics : Misc.act_semantics;
  2. mutable verbose_level : int;
}
val cfg : cfg
module type DYNAMIC = sig ... end
module 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
OCaml

Innovation. Community. Security.