Lists - Implementation : Use_interval

let ls1 =

  let

    s1 = cons_closed(-5, 5)

    and 

    s2 = cons_closed(3, 3)

    and

    s3 = cons_closed(0, 7)

  in

    cons_list (s1, cons_list (s2, cons_list (s3, empty_list ())))