package rfsm

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

Module Host.MakeSource

Functor building the host language implementation given a guest language implementation

Parameters

module G : Guest.T

Signature

Sourcemodule Guest = G
Sourcemodule Dot : Dot.DOT with module Static = Static
Sourcemodule Dynamic : Dynamic.DYNAMIC with module Syntax = Syntax and module Static = Static
Sourcemodule Ctask : Ctask.CTASK with module Static = Static
Sourcemodule Vhdl : Vhdl.VHDL with module Static = Static
Sourceval type_fragment : Syntax.fragment -> unit
Sourceval scan_fragment : Syntax.fragment -> Ident.t list * Ident.t list
Sourceval run : ?vcd_file:string -> Syntax.program -> Static.t -> unit
Sourceval pp_program : Format.formatter -> Syntax.program -> unit
Sourceval pp_fragment : Format.formatter -> Syntax.fragment -> unit
Sourceval pp_tenv : Format.formatter -> Typing.env -> unit