1
(***********************************************************************)
5
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
7
(* Copyright 2001 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* only by permission. *)
11
(***********************************************************************)
16
expl (i - 1) (s.[i] :: l) in
17
expl (String.length s - 1) [];;
20
let result = String.create (List.length l) in
21
let rec imp i = function
23
| c :: l -> result.[i] <- c; imp (i + 1) l in