anchor.diff:         | Sig_pragma (p) ->
            U.process_pragma p se.sigrng;
            g, []
  +  )
   
   let extract' (g:uenv) (m:modul) : uenv * option<mllib> =
     let _ = Options.restore_cmd_line_options true in
  
positive.code: (* Extracting the top-level definitions in a module                          *)
  (*****************************************************************************)
  let rec extract_sig (g:env_t) (se:sigelt) : env_t * list<mlmodule1> =
       debug g (fun u -> BU.print1 ">>>> extract_sig %s \n" (Print.sigelt_to_string se));
       match se.sigel with
          | Sig_bundle _
          | Sig_inductive_typ _
  
negative.code: 
    if Options.interactive() then g, None else begin
  
    let nm = string_of_lid m.name in
    let g, mllib =
      UF.with_uf_enabled (fun () ->
        Errors.with_ctx ("While extracting module " ^ nm) (fun () ->
  