package rfsm

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

CTask backend

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

pp_typed_symbol fmt (id,ty) should print, on formatter fmt, the C declaration of symbol id with type ty. For example, for an int named "x", this should be "int x", and for an array of 8 ints named "a", this should be "int a[8]".

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

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

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

pp_type_decl fmt td should print, on formatter fmt, the C statement corresponding to type declaration td.

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

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

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