list_structure.ml

type 'a cell_lc = { tete : 'a ; queue : 'a lc }
    and 'a lc = ListecVide | Listec of 'a cell_lc

let tete = function
    | ListecVide -> failwith "Liste vide"
    | Listec(cell) -> cell.tete

let queue = function
    | ListecVide -> ListecVide
    | Listec(cell) -> cell.queue

let enliste l x = match l with
    | ListecVide -> { tete = x; queue = ListecVide }
    | Listec(cell) -> { tete = x; queue = cell.queue }

let longueur l = 
    let rec len l n = match l with
        | ListecVide -> n
        | Listec(cell) -> len cell.queue (n + 1)
    in
    len l 0