ErlangTopType.java

// This is a generated file. Not intended for manual editing.
package org.intellij.erlang.psi;

import java.util.List;
import org.jetbrains.annotations.*;
import com.intellij.psi.PsiElement;

public interface ErlangTopType extends ErlangType {

  @Nullable
  ErlangQVar getQVar();

  @NotNull
  List<ErlangType> getTypeList();

  @Nullable
  PsiElement getColonColon();

}