sig
  val overload :
    Flx_mtypes2.sym_state_t ->
    (Flx_ast.range_srcref ->
     int -> Flx_ast.typecode_t -> Flx_types.btypecode_t) ->
    Flx_ast.range_srcref ->
    Flx_types.entry_kind_t list ->
    string ->
    Flx_types.btypecode_t ->
    Flx_types.btypecode_t list ->
    (Flx_types.entry_kind_t * Flx_types.btypecode_t *
     (int * Flx_types.btypecode_t) list * Flx_types.btypecode_t list)
    option
end