fact: Definition SmtpSig : ADTSig := ADTsignature { Constructor "Init" : unit -> rep, Method "GetState" : rep x UUID -> rep x option State, Method "GetConnection" : rep x UUID -> rep x option Connection, Method "AddConnection" : rep x Connection -> rep x bool, Method "KillConnection" : rep x UUID -> rep x bool, Method "Helo" : rep x (UUID * string) -> rep x Reply, Method "Mail" : rep x (UUID * string) -> rep x Reply, Method "Rcpt" : rep x (UUID * string) -> rep x Reply, Method "Data" : rep x (UUID) -> rep x Reply, Method "MoreData" : rep x (UUID * string) -> rep x Reply, Method "Rset" : rep x (UUID) -> rep x bool, Method "Quit" : rep x (UUID) -> rep x bool }.
imports: Fiat.QueryStructure.Automation.AutoDB Fiat.QueryStructure.Implementation.DataStructures.BagADT.BagADT