Nitlanguage.org
  • Nitdoc
  • nitc
  • toolcontext
  • ToolContext
  • erasure_compiler_phase

fun erasure_compiler_phase: ErasureCompilerPhase

nitc :: ToolContext :: erasure_compiler_phase

  • Doc
  • Linearization

Summary

  • Property definitions

  • nitc::separate_erasure_compiler$ToolContext$erasure_compiler_phase

Property definitions

nitc :: separate_erasure_compiler $ ToolContext :: erasure_compiler_phase
	var erasure_compiler_phase = new ErasureCompilerPhase(self, [contracts_phase])
src/compiler/separate_erasure_compiler.nit:49,2--79
Nit tools. Version .