open Flx_ast

val typecode_of_expr:
  expr_t -> typecode_t

val type_of_list:
  typecode_t list -> typecode_t

val paramtype:
  parameter_t list -> typecode_t

val qualified_name_of_expr:
  expr_t -> qualified_name_t option

val suffixed_name_of_expr:
  expr_t -> suffixed_name_t option

val expr_of_qualified_name:
  qualified_name_t -> expr_t

val expr_of_suffixed_name:
  suffixed_name_t -> expr_t