package rfsm

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

Functor building the host language implementation given a guest language implementation

Parameters

module G : Guest.T

Signature

module Guest = G
module Syntax = Syntax.Make(G.Syntax)
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 run : ?vcd_file:string -> Syntax.program -> Static.t -> unit
val pp_program : Stdlib.Format.formatter -> Syntax.program -> unit
val pp_tenv : Stdlib.Format.formatter -> Typing.env -> unit