function contains

Boolean ::= s::String sl::[String]

In file: Utils.sv

function containsSet

Boolean ::= s::[String] sl::[[String]]

In file: Utils.sv

function containsDuplicates

Boolean ::= s::[String]

In file: Utils.sv

function equals

Boolean ::= s1::[String] s2::[String]

In file: Utils.sv

function containsAll

Boolean ::= s1::[String] s2::[String]

In file: Utils.sv

function containsAny

Boolean ::= s1::[String] s2::[String]

In file: Utils.sv

function makeSet

[String] ::= list::[String]

In file: Utils.sv

function rem

[String] ::= n::[String] seen::[String]

In file: Utils.sv

function remove

[String] ::= n::String s::[String]

In file: Utils.sv

function startsWithAny

Boolean ::= pre::[String] s::String

In file: Utils.sv