Up – Package index » elpi » Library elpi.compiler » Elpi_compiler » Determinacy_checker » merger

Class `Determinacy_checker.merger`Source

method get_all_func : func_map

method get_local_func : func_map

method add_ty_abbr : Elpi_compiler.Compiler_data.F.t ->
  Elpi_compiler.Compiler_data.Scope.type_decl_id ->
  Elpi_compiler.Compiler_data.ScopedTypeExpression.t ->
  unit

method 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