Module Program_prelude_.List

type 'a t = 'a list =
  1. | []
  2. | :: of 'a * 'a t