Project

General

Profile

« Previous | Next » 

Revision c11dbf10

Added by Pierre-Loïc Garoche over 9 years ago

desome

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@167 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/utils.ml
44 44 

  		




  45
  45
  
    
module ISet = Set.Make(IdentModule)


  		




  46
  46
  
    

  		




  
  47
  
    
let desome x = match x with Some x -> x | None -> failwith "desome"


  		




  
  48
  
    

  		




  47
  49
  
    
let option_map f o =


  		




  48
  50
  
    
  match o with


  		




  49
  51
  
    
  | None   -> None


  		












Also available in:  Unified diff