┌Press alt+h for help────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── kinds: t, v, e, c, m, s, k ┐
│List. │
└──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
-> type List.t 'a list/1
An alias for the type of lists.
constr(t) List.[] -
constr(t) List.:: 'a * 'a list/1
val List.length 'a list/1 -> int/1
val List.cons 'a -> 'a list/1 -> 'a list/1
E.g.:
ocp-index doesn't seem to have this problem.