.Calendar: ClassType .TextCalendar: ClassType .HTMLCalendar: ClassType .LocaleTextCalendar: ClassType .LocaleHTMLCalendar: ClassType .month: (theyear: Nat, themonth: Nat, w := Nat, l := Nat) -> Str .calendar: (year: Nat, w := Nat, l := Nat, c := Nat, m := Nat) -> Str