val is_any_fvar : t: FStar.Stubs.Reflection.Types.term -> nms: Prims.list Prims.string -> Prims.bool
let is_any_fvar = Reflection.is_any_fvar
module Steel.ST.GenElim1.Base
include Steel.ST.Util

module T = FStar.Tactics
/
Steel.ST.Util.fsti.checked Steel.Effect.Common.fsti.checked prims.fst.checked FStar.Universe.fsti.checked FStar.Tactics.fst.checked FStar.Reflection.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.List.Tot.fst.checked FStar.Ghost.fsti.checked
Steel.ST.GenElim1.Base.fsti
t: FStar.Stubs.Reflection.Types.term -> nms: Prims.list Prims.string -> Prims.bool
FStar.Reflection.V1.Derived.is_any_fvar
let is_any_fvar =
  
Reflection.is_any_fvar