Uses of Class
output_plus.List_String$

Packages that use List_String$

output_plus

Uses of List_String$ in output_plus

Subclasses of List_String$ in output_plus

class	Empty_String$
class	NotEmpty_String$

Fields in output_plus declared as List_String$

List_String$	NotEmpty_List_String$$.head
List_String$	NotEmpty_String$.tail

Methods in output_plus that return List_String$

abstract List_String$	List_String$.append(List_String$ l)
List_String$	Empty_String$.append(List_String$ l)
abstract List_String$	List_String$.reverse()

Methods in output_plus with parameters of type List_String$

NotEmpty_String$	NotEmpty_String$.append(List_String$ l)
abstract List_String$	List_String$.append(List_String$ l)
List_String$	Empty_String$.append(List_String$ l)
NotEmpty_List_String$$	List_List_String$$.cons(List_String$ e)
NotEmpty_List_String$$	NotEmpty_List_String$$.putlast(List_String$ e)
abstract NotEmpty_List_String$$	List_List_String$$.putlast(List_String$ e)
NotEmpty_List_String$$	Empty_List_String$$.putlast(List_String$ e)

Constructors in output_plus with parameters of type List_String$

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

NotEmpty_String$(java.lang.String head, List_String$ tail)