io.github.mmhelloworld.idrisjvm.compiler

Class Placeholder

java.lang.Object

io.github.mmhelloworld.idrisjvm.compiler.Placeholder

public class Placeholder
extends Object

Constructor Summary

Constructors

Constructor and Description
Placeholder()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Placeholder

public Placeholder()