module Flx_overload: sig
.. end
type
overload_result = int * Flx_types.btypecode_t * Flx_types.btypecode_t *
(int * Flx_types.btypecode_t) list * Flx_types.btypecode_t list
val overload : Flx_mtypes2.sym_state_t ->
(Flx_ast.range_srcref -> int -> Flx_ast.typecode_t -> Flx_types.btypecode_t) ->
(int ->
Flx_ast.qualified_name_t -> Flx_types.entry_set_t * Flx_ast.typecode_t list) ->
Flx_ast.range_srcref ->
Flx_types.entry_kind_t list ->
string ->
Flx_types.btypecode_t list ->
Flx_types.btypecode_t list -> overload_result option
exception OverloadKindError of Flx_ast.range_srcref * string