Lists - Implementation : Use_interval

let ls2 =

  let

    s1 = cons_closed(-5, -5)

    and 

    s2 = cons_closed(-5, -4)

    and

    s3 = cons_closed(-6, -4)

    and

    s4 = cons_closed(-10, 0)

  in

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