package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

A toolset for describing and simulating StateChart-like state diagrams

Install

dune-project

Dependency

md5=ea1b496f0aa758933ae23921ee55a531

sha512=4fa72747bb2e32f91d64e4b8c24f60d6f0bdad297cc40f36d5c687ed1de900ab8441fa8a12aecf2523928833cddd5391fa87c11a1af2162ac8001467e8f485a5

Output signature of the functor Host.Make

module Guest : Guest.T

module Syntax : Syntax.SYNTAX

module Typing : Typing.TYPING

module Static : Static.T

module Dot : Dot.DOT with module Static = Static

module Dynamic : 
  Dynamic.DYNAMIC with module Syntax = Syntax and module Static = Static

module Vcd : Vcd.VCD

module Ctask : Ctask.CTASK with module Static = Static

module Systemc : Systemc.SYSTEMC with module Static = Static

module Vhdl : Vhdl.VHDL with module Static = Static

val type_program : Typing.env -> Syntax.program -> Typing.typed_program

val type_fragment : Syntax.fragment -> unit

val scan_fragment : Syntax.fragment -> Ident.t list * Ident.t list

val elab : Typing.typed_program -> Syntax.program -> Static.t

val run : ?vcd_file:string -> Syntax.program -> Static.t -> unit

val pp_program : Format.formatter -> Syntax.program -> unit

val pp_fragment : Format.formatter -> Syntax.fragment -> unit

val pp_tenv : Format.formatter -> Typing.env -> unit