'a Vector

(* VECTEUR DYNAMIQUE *)

type 'a vecteur = { mutable l:int; mutable i:int; mutable v: 'a vect };;

let vecteur e =
    { l = 1; i = 0; v = [| e |] };;

let ajouter_vecteur v e =
    if v.i = v.l - 1 then
        begin
            let r = (make_vect (2 * v.l) 0) in
            for j = 0 to v.l - 1 do
                r.(j) <- v.v.(j);
            done;
            v.v <- r;
               v.l <- 2 * v.l;
        end;
    v.i <- v.i + 1;
    v.v.(v.i) <- e;;

let supprimer_element v ind =
    v.i <- v.i - 1;
    for i = ind + 1 to v.l - 1 do
        v.v.(i - 1) <- v.v.(i);
    done;;

let supprimer_fin v =
    if v.i > -1 then v.i <- v.i - 1 else failwith "Vecteur vide.";;

let dans_vecteur v e =
    let trouve = ref(false) in
    for i = 0 to v.i - 1 do
        if v.v.(i) = e then trouve := true
    done;
    !trouve;;