Revision c11dbf10
Added by Pierre-Loïc Garoche over 9 years ago
| 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
desome
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@167 041b043f-8d7c-46b2-b46e-ef0dd855326e