module Syntax = Syntaxmodule Static = Statictype value = Value.tval vhdl_type_of : Syntax.Types.typ -> Vhdl_types.tvhdl_type_of ty should return the VHDL type corresponding to type ty.
val allowed_shared_type : Syntax.Types.typ -> boolallowed_shared_type ty should indicate whether type ty can be attributed to a VHDL shared variable.
val pp_type_decl : Format.formatter -> Syntax.type_decl -> unitpp_type_decl fmt td should print, on formatter fmt, the VHDL translation of type declaration td.
val pp_expr : Format.formatter -> Syntax.expr -> unitpp_expr fmt e should print, on formatter fmt, the VHDL expression corresponding to expression e.
val pp_lval : Format.formatter -> Syntax.lval -> unitpp_lval fmt l should print, on formatter fmt, the VHDL representation of l-value l.
val pp_value : Format.formatter -> (value * Vhdl_types.t) -> unitpp_value fmt (v,t) should print, on formatter fmt, the VHDL value corresponding to value v, with type t.
val pp_type_fns_intf : Format.formatter -> Syntax.type_decl -> unitval pp_type_fns_impl : Format.formatter -> Syntax.type_decl -> unitpp_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.