mkdir_corpus_params.mli 699 Bytes
Newer Older
Idir Lankri's avatar
Idir Lankri committed
1
(**************************************************************************)
Idir Lankri's avatar
Idir Lankri committed
2
(*                                                                        *)
Idir Lankri's avatar
Idir Lankri committed
3 4 5 6 7 8 9
(*                     The Sanskrit Heritage Platform                     *)
(*                                                                        *)
(*                              Idir Lankri                               *)
(*                                                                        *)
(* ©2017 Institut National de Recherche en Informatique et en Automatique *)
(**************************************************************************)

10 11 12 13
value dirname : string
;
value parent_dir : string
;
14
value permission : string
15
;