// 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 ErlangFunType extends ErlangType {
@NotNull
ErlangFunTypeArguments getFunTypeArguments();
@Nullable
ErlangTopTypeClause getTopTypeClause();
}