analyseTotallyDefined
:: [TypeDecl] -> [FuncDecl] -> [((String,String),CompletenessType)]
|
analyseCompleteness
:: [TypeDecl] -> FuncDecl -> CompletenessType
|
Constructors:
Complete
:: CompletenessType
InComplete
:: CompletenessType
InCompleteOr
:: CompletenessType
|
|