val op_let_Question (f: option 'a) (g: ('a -> option 'b)) : option 'b
let (let?) (f:option 'a) (g:'a -> option 'b) : option 'b =
  match f with
  | None -> None
  | Some x -> g x
val op_let_Question (f: option 'a) (g: ('a -> option 'b)) : option 'b
let op_let_Question (f: option 'a) (g: ('a -> option 'b)) : option 'b =
match f with
| None -> None
| Some x -> g x
Pulse.Common.fst.checked
prims.fst.checked FStar.Tactics.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.List.Tot.fst.checked FStar.Classical.fsti.checked
Pulse.Common.fst
FStar.Pervasives.Native.option FStar.Pervasives.Native.None
module Pulse.Common

module L = FStar.List.Tot
open FStar.Tactics
val op_let_Question (f: option 'a) (g: ('a -> option 'b)) : option 'b
f: FStar.Pervasives.Native.option 'a -> g: (_: 'a -> FStar.Pervasives.Native.option 'b)
  -> FStar.Pervasives.Native.option 'b