package rfsm

  1. Overview
  2. Docs
On This Page
  1. SystemC backend
package rfsm
Legend:
Library
Module
Module type
Parameter
Class
Class type

SystemC backend

module Static : STATIC
module Syntax : SYNTAX
type value
val pp_typed_symbol : Format.formatter -> (Ident.t * Syntax.type_expr) -> unit

pp_typed_symbol fmt (id,ty) should print, on formatter fmt, the SystemC declaration of symbol id with type ty.

val pp_type_expr : Format.formatter -> Syntax.type_expr -> unit

pp_type_expr fmt te should print, on formatter fmt, the SystemC type corresponding to type expression te.

val pp_type_decl : Format.formatter -> Syntax.type_decl -> unit
val pp_type_impl : Format.formatter -> Syntax.type_decl -> unit

pp_type_decl fmt td (resp. pp_type_impl fmt td) should print, on formatter fmt, the SystemC declaration and implementation (in the .h and .cpp file resp.) corresponding to type declaration td.

val pp_expr : Format.formatter -> Syntax.expr -> unit

pp_expr fmt e should print, on formatter fmt, the SystemC expression corresponding to expression e.

val pp_typ : Format.formatter -> Syntax.Types.typ -> unit

pp_typ fmt ty should print, on formatter fmt, the SystemC type corresponding to type ty.

val pp_lval : Format.formatter -> Syntax.lval -> unit

pp_lval fmt l should print, on formatter fmt, the SystemC representation of l-value l.

val pp_value : Format.formatter -> value -> unit

pp_value fmt v should print, on formatter fmt, the SystemC value corresponding to value v.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct