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

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