Basic Types, Functions and OperatorsBasic Types, Functions and Operators Simple TypesOperatorsFunctionsQuantified TypesNotes On IndentationsType SynonymRecords