(*Generated by Lem from maybe_extra.lem.*)
 

open Lem_basic_classes
open Lem_maybe
open Lem_assert_extra

(* ----------------------- *)
(* fromJust                *)
(* ----------------------- *)

(*val fromJust : forall 'a. maybe 'a -> 'a*)
let fromJust op = ((match op with | Some v -> v | None -> failwith "fromJust of Nothing" ))

