def Aesop.expandSafePrefix {Q : Type} [Aesop.Queue Q] : Aesop.SearchM Q Unit

Equations

• One or more equations did not get rendered due to their size.