PONYO_CONTAINER_LIST

This is the resulting signature of the Ponyo_Container_List functor.
Examples:
structure IntList = Ponyo_Container_List(Int);
val sortedInts = IntList.sort [2, 1, 3, 4];
typeelement
valcontains:element list * element -> bool
This returns true if the given list contains the given element at least once.
Examples:
contains ([1, 3, 2, 2], 2) = true
valcount:element list * element -> int
This returns the number of elements equal to the given element within the given list.
Examples:
count ([1, 2, 3, 2, 2], 2) = 3
valget:element list * int -> element option
This returns the nth item in the list. If the index is negative, it is added to the length of the list repeatedly until it is non-negative.
Examples:
get ([1, 3, 2, 2], 0)  = 1
get ([1, 3, 2, 2], ~1) = 2
get ([1, 3, 2, 2], ~7) = 3
valsort:element list -> element list
This returns a new list with each element in order from least to greatest according to the compare function for the elements.
Examples:
sort [2, 1, 4, 3] = [1, 2, 4, 3]
valsublist:element list * int * int -> element list
This returns a section of the given list starting with the first index and counting forward using the second index.
Examples:
sublist ([1, 2, 3, 4], 1, 3) = [2, 3, 4]
valsublistToEnd:element list * int -> element list
This returns a section of the given list starting with the first index and ending at the end of the list.
Examples:
sublistToEnd ([1, 2, 3, 4], 1) = [2, 3, 4]

PONYO_CONTAINER_LIST_DOMAIN

eqtypet
valcompare:t * t -> order