Uses of Class
output_plus.List_List_String$$

Packages that use List_List_String$$

output_plus

Uses of List_List_String$$ in output_plus

Subclasses of List_List_String$$ in output_plus

class	Empty_List_String$$
class	NotEmpty_List_String$$

Fields in output_plus declared as List_List_String$$

List_List_String$$

NotEmpty_List_String$$.tail

Methods in output_plus that return List_List_String$$

abstract List_List_String$$	List_List_String$$.append(List_List_String$$ l)
List_List_String$$	Empty_List_String$$.append(List_List_String$$ l)
abstract List_List_String$$	List_List_String$$.reverse()

Methods in output_plus with parameters of type List_List_String$$

NotEmpty_List_String$$	NotEmpty_List_String$$.append(List_List_String$$ l)
abstract List_List_String$$	List_List_String$$.append(List_List_String$$ l)
List_List_String$$	Empty_List_String$$.append(List_List_String$$ l)

Constructors in output_plus with parameters of type List_List_String$$

NotEmpty_List_String$$(List_String$ head, List_List_String$$ tail)