check v returns true if v is a Python list.

Wrapper for PyList_New

Equivalent to Sequence.get_item.

Equivalent to get_item.

Wrapper for PyList_SetItem

Equivalent to set_item.

Wrapper for PyList_Size

Equivalent to size.

init n f returns the Python list [f 0, f 1, ..., f (n - 1)].

of_array a returns the Python list with the same elements as a.

of_array_map f a returns the Python list (f a0, ..., f ak) where a0, ..., ak are the elements of a.

Equivalent to Sequence.to_array.

Equivalent to Sequence.to_array_map.

of_list l returns the Python list with the same elements as l.

of_list f l returns the Python list (f l1, ..., f ln) where l1, ..., ln are the elements of l. of_list_map f l is equivalent to of_list (List.map f l) but is tail-recursive and f is applied to the elements of l in the reverse order.

Equivalent to Sequence.to_list.

Equivalent to Sequence.to_list_map.

Equivalent to Sequence.fold_left.

Equivalent to Sequence.fold_right.

Equivalent to Sequence.for_all.

Equivalent to Sequence.exists.

Equivalent to Sequence.list.

of_seq s returns the Python list with the same elements as s.

Equivalent to Sequence.to_seq.

Equivalent to Sequence.to_seqi.

singleton o returns the Python list [o].