class MalformedType

Members

private val absMembers : Set
private val denot : Denotation
private val pre : Type