Up – Package index » elpi » Library elpi.compiler » Elpi_compiler » Spilling

Module `Elpi_compiler.Spilling`Source

val main_goal : 
  type_abbrevs:Compiler_data.TypeAssignment.type_abbrevs ->
  types:Compiler_data.TypingEnv.t ->
  Compiler_data.ScopedTerm.t ->
  Compiler_data.ScopedTerm.t

Source

val main_clause : 
  type_abbrevs:Compiler_data.TypeAssignment.type_abbrevs ->
  types:Compiler_data.TypingEnv.t ->
  Compiler_data.ScopedTerm.t ->
  Compiler_data.ScopedTerm.t