AtomicKind

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> mlsub >> [ typing overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

SOURCE |

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

mlsub.typing
Interface AtomicKind

All Superinterfaces:: mlsub.typing.lowlevel.Kind

All Known Implementing Classes:: NullnessKind, Variance

public interface AtomicKind
extends mlsub.typing.lowlevel.Kind

An atomic kind. Its elements cannot be further decomposed, they are compared in a constraint.

Version:: $Date: 2002/08/01 00:27:53 $

Method Summary

int arity()
arity of the elements.

mlsub.typing.lowlevel.Engine.Constraint getConstraint()

Methods inherited from interface mlsub.typing.lowlevel.Kind

freshMonotype, leq, leq, register

Method Detail

getConstraint

public mlsub.typing.lowlevel.Engine.Constraint getConstraint()

arity

public int arity()

arity of the elements.