aboutsummaryrefslogtreecommitdiff
path: root/src/main.mli
blob: 73ba84e9ffb7dcc5fdad18cd9eecb9167c06105e (plain)
1
2
3
4
5
6
(*
 * UPEM / L3 / Functional programming / Project: URM
 * Pacien TRAN-GIRARD, Adam NAILI
 *)

val read_prgm : (string list -> 'a list) -> string -> 'a list