edu.uiowa.cs.clc.kind2.results

Class Bool

java.lang.Object

edu.uiowa.cs.clc.kind2.results.Type

edu.uiowa.cs.clc.kind2.results.Bool

public class Bool
extends Type

The bool type for kind2

Field Summary

Fields inherited from class edu.uiowa.cs.clc.kind2.results.Type

name

Constructor Summary

Constructors

Constructor and Description
Bool()

Method Summary

Methods inherited from class edu.uiowa.cs.clc.kind2.results.Type

getType, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Bool

public Bool()