Name:

length computes the length of a list or string.

Library name:

sollya_obj_t sollya_lib_length(sollya_obj_t)

Usage:

length(L) : list -> integer length(s) : string -> integer

Parameters:

Description:

Example 1:

   > length("Hello World!");
   12

Example 2:

   > length([|1,...,5|]);
   5

Example 3:

   > length([| |]);
   0

Example 4:

   > length([|1,2...|]);
   @Inf@
Go back to the list of commands