what time
conj- Th' infernal Serpent; he it was, whose guile / Stird up with Envy and Revenge, deceiv'd / The Mother of Mankind, what time his Pride / Had cast him out from Heav'n, with all his Host / Of Rebel Angels, by whose aid aspiring / To set himself in Glory above his Peers[...].1667, John Milton, Paradise Lost, page Canto I, line 36: