package rfsm

vhdl_type_of ty should return the VHDL type corresponding to type ty.

allowed_shared_type ty should indicate whether type ty can be attributed to a VHDL shared variable.

pp_type_decl fmt td should print, on formatter fmt, the VHDL translation of type declaration td.

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

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

pp_value fmt (v,t) should print, on formatter fmt, the VHDL value corresponding to value v, with type t.

pp_type_fns_intf td (resp. pp_type_fns_impl fmt td) should print, on formatter fmt, the VHDL declaration and implementation (in the entity and architecture definition resp.) corresponding to type declaration td.