def StrataDDM.escapeStringLit (s : String) : String

Equations

• StrataDDM.escapeStringLit s = String.foldl StrataDDM.escapeStringLitAux✝ "\"" s ++ "\""

def StrataDDM.escapeSMTStringLit (s : String) : String

Equations

• StrataDDM.escapeSMTStringLit s = String.foldl StrataDDM.escapeSMTStringLitAux✝ "\"" s ++ "\""