val tot_or_ghost_to_string (eff:T.tot_or_ghost) : string
let tot_or_ghost_to_string = function
  | T.E_Total -> "total"
  | T.E_Ghost -> "ghost"
val tot_or_ghost_to_string (eff:T.tot_or_ghost) : string
let tot_or_ghost_to_string =
function
| T.E_Total -> "total"
| T.E_Ghost -> "ghost"
Pulse.Syntax.Printer.fst.checked
Pulse.Syntax.Base.fsti.checked prims.fst.checked FStar.Tactics.V2.fst.checked FStar.String.fsti.checked FStar.Sealed.fsti.checked FStar.Reflection.V2.fst.checked FStar.Printf.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.List.Tot.fst.checked
Pulse.Syntax.Printer.fst
FStar.Stubs.TypeChecker.Core.tot_or_ghost Prims.string
module Pulse.Syntax.Printer
open FStar.Printf
open Pulse.Syntax.Base

module L = FStar.List.Tot

module T = FStar.Tactics.V2
module Un = FStar.Sealed
module R = FStar.Reflection.V2
val tot_or_ghost_to_string (eff:T.tot_or_ghost) : string
eff: FStar.Stubs.TypeChecker.Core.tot_or_ghost -> Prims.string