Project

General

Profile

« Previous | Next » 

Revision 3b2bd83d

Added by Teme Kahsai about 8 years ago

updating to onera version 30f766a:2016-12-04

View differences:

src/utils.ml
36 36

  
37 37
module ISet = Set.Make(IdentModule)
38 38

  
39
let desome x = match x with Some x -> x | None -> failwith "desome"
39
exception DeSome
40
let desome x = match x with Some x -> x | None -> raise DeSome
40 41

  
41 42
let option_map f o =
42 43
  match o with

Also available in: Unified diff