Determinacy_checker.mergerSourcemethod get_all_func : func_mapmethod get_local_func : func_mapmethod add_ty_abbr : Elpi_compiler.Compiler_data.F.t ->
Elpi_compiler.Compiler_data.Scope.type_decl_id ->
Elpi_compiler.Compiler_data.ScopedTypeExpression.t ->
unitmethod add_func_ty_list : Elpi_compiler.Compiler_data.F.t ->
Elpi_compiler.Compiler_data.TypeList.t ->
Elpi_compiler.Compiler_data.TypeAssignment.overloaded_skema_with_id ->
unit