fact: Definition standardReply (success: bool) : Reply := if success then {| status := "250"; message := "Requested mail action okay, completed" |} else {| status := "503"; message := "Bad sequence of commands" |}.
imports: Fiat.QueryStructure.Automation.AutoDB Fiat.QueryStructure.Implementation.DataStructures.BagADT.BagADT