Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / tools / stateflow / src / common / utils.ml @ 2de7fa82

History | View | Annotate | Download (191 Bytes)

1
let rec fprintf_list ~sep:sep f fmt = function
2
  | []   -> ()
3
  | [e]  -> f fmt e
4
  | x::r -> Format.fprintf fmt "%a%(%)%a" f x sep (fprintf_list ~sep f) r
5

    
6
let last l = List.hd (List.rev l)