Project

General

Profile

Download (191 Bytes) Statistics
| Branch: | Tag: | Revision:

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

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)


    		
  









  (5-5/5)