function toStringFromInteger

###### String ::= v::Integer In file: String.sv

function toStringFromFloat

###### String ::= v::Float In file: String.sv

function toStringFromBoolean

###### String ::= v::Boolean In file: String.sv

function toStringFromString

###### String ::= v::String In file: String.sv

function toStringFromList

###### String ::= toStr::(String ::= a) xs::[a] In file: String.sv

function toStringFromListHelper

###### String ::= toStr::(String ::= a) xs::[a] In file: String.sv

function stripWhiteSpace

###### String ::= s::String In file: String.sv

function stripWhiteSpaceHelper

###### [String] ::= ss::[String] In file: String.sv

function replaceChars

###### String ::= toReplace::String replaceWith::String str::String In file: String.sv

function replaceCharsHelper

###### [String] ::= toReplace::String replaceWith::String chars::[String] In file: String.sv

function stripExtraWhiteSpace

###### String ::= str::String In file: String.sv

function stripExtraWhiteSpaceHelper

###### [String] ::= ss::[String] In file: String.sv

function isNotWhiteSpace

###### Boolean ::= str::String In file: String.sv

function addLineNumbers

###### String ::= code::String In file: String.sv

function addLineNums

###### String ::= next::Integer width::Integer lines::[String] In file: String.sv

function equalsInteger

###### Boolean ::= a::Integer b::Integer In file: Equality.sv

function equalsFloat

###### Boolean ::= a::Float b::Float In file: Equality.sv

function equalsString

###### Boolean ::= a::String b::String In file: Equality.sv

function equalsBoolean

###### Boolean ::= a::Boolean b::Boolean In file: Equality.sv

function equalsList

###### Boolean ::= eq::(Boolean ::= a a) l1::[a] l2::[a] In file: Equality.sv

function notEqualsInteger

###### Boolean ::= a::Integer b::Integer In file: Equality.sv

function notEqualsFloat

###### Boolean ::= a::Float b::Float In file: Equality.sv

function notEqualsString

###### Boolean ::= a::String b::String In file: Equality.sv

function notEqualsBoolean

###### Boolean ::= a::Boolean b::Boolean In file: Equality.sv

function notEqualsList

###### Boolean ::= neq::(Boolean ::= a a) l1::[a] l2::[a] In file: Equality.sv