module Static : Guest.STATICmodule Syntax : Guest.SYNTAXval pp_typed_symbol :
Stdlib.Format.formatter ->
(Ident.t * Syntax.type_expr) ->
unitpp_typed_symbol fmt (id,ty) should print, on formatter fmt, the SystemC declaration of symbol id with type ty.
val pp_type_expr : Stdlib.Format.formatter -> Syntax.type_expr -> unitpp_type_expr fmt te should print, on formatter fmt, the SystemC type corresponding to type expression te.
val pp_type_decl : Stdlib.Format.formatter -> Syntax.type_decl -> unitval pp_type_impl : Stdlib.Format.formatter -> Syntax.type_decl -> unitpp_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 : Stdlib.Format.formatter -> Syntax.expr -> unitpp_expr fmt e should print, on formatter fmt, the SystemC expression corresponding to expression e.
val pp_typ : Stdlib.Format.formatter -> Syntax.Types.typ -> unitpp_typ fmt ty should print, on formatter fmt, the SystemC type corresponding to type ty.
val pp_lval : Stdlib.Format.formatter -> Syntax.lval -> unitpp_lval fmt l should print, on formatter fmt, the SystemC representation of l-value l.
val pp_value : Stdlib.Format.formatter -> value -> unitpp_value fmt v should print, on formatter fmt, the SystemC value corresponding to value v.