(* generated by dune *)

(** @canonical Fstar_pluginlib.FStarC_Tactics_Unseal *)
module FStarC_Tactics_Unseal = Fstar_pluginlib__FStarC_Tactics_Unseal

(** @canonical Fstar_pluginlib.FStarC_Tactics_V2_Builtins *)
module FStarC_Tactics_V2_Builtins = Fstar_pluginlib__FStarC_Tactics_V2_Builtins

(** @canonical Fstar_pluginlib.FStar_Algebra_CommMonoid *)
module FStar_Algebra_CommMonoid = Fstar_pluginlib__FStar_Algebra_CommMonoid

(** @canonical Fstar_pluginlib.FStar_Algebra_CommMonoid_Equiv *)
module FStar_Algebra_CommMonoid_Equiv = Fstar_pluginlib__FStar_Algebra_CommMonoid_Equiv

(** @canonical Fstar_pluginlib.FStar_Algebra_CommMonoid_Fold *)
module FStar_Algebra_CommMonoid_Fold = Fstar_pluginlib__FStar_Algebra_CommMonoid_Fold

(** @canonical Fstar_pluginlib.FStar_Algebra_CommMonoid_Fold_Nested *)
module FStar_Algebra_CommMonoid_Fold_Nested = Fstar_pluginlib__FStar_Algebra_CommMonoid_Fold_Nested

(** @canonical Fstar_pluginlib.FStar_Algebra_Monoid *)
module FStar_Algebra_Monoid = Fstar_pluginlib__FStar_Algebra_Monoid

(** @canonical Fstar_pluginlib.FStar_All *)
module FStar_All = Fstar_pluginlib__FStar_All

(** @canonical Fstar_pluginlib.FStar_BV *)
module FStar_BV = Fstar_pluginlib__FStar_BV

(** @canonical Fstar_pluginlib.FStar_BigOps *)
module FStar_BigOps = Fstar_pluginlib__FStar_BigOps

(** @canonical Fstar_pluginlib.FStar_Bijection *)
module FStar_Bijection = Fstar_pluginlib__FStar_Bijection

(** @canonical Fstar_pluginlib.FStar_BitVector *)
module FStar_BitVector = Fstar_pluginlib__FStar_BitVector

(** @canonical Fstar_pluginlib.FStar_Bytes *)
module FStar_Bytes = Fstar_pluginlib__FStar_Bytes

(** @canonical Fstar_pluginlib.FStar_Calc *)
module FStar_Calc = Fstar_pluginlib__FStar_Calc

(** @canonical Fstar_pluginlib.FStar_Cardinality_Cantor *)
module FStar_Cardinality_Cantor = Fstar_pluginlib__FStar_Cardinality_Cantor

(** @canonical Fstar_pluginlib.FStar_Cardinality_Universes *)
module FStar_Cardinality_Universes = Fstar_pluginlib__FStar_Cardinality_Universes

(** @canonical Fstar_pluginlib.FStar_Char *)
module FStar_Char = Fstar_pluginlib__FStar_Char

(** @canonical Fstar_pluginlib.FStar_Class_Add *)
module FStar_Class_Add = Fstar_pluginlib__FStar_Class_Add

(** @canonical Fstar_pluginlib.FStar_Class_Eq *)
module FStar_Class_Eq = Fstar_pluginlib__FStar_Class_Eq

(** @canonical Fstar_pluginlib.FStar_Class_Eq_Raw *)
module FStar_Class_Eq_Raw = Fstar_pluginlib__FStar_Class_Eq_Raw

(** @canonical Fstar_pluginlib.FStar_Class_Ord_Raw *)
module FStar_Class_Ord_Raw = Fstar_pluginlib__FStar_Class_Ord_Raw

(** @canonical Fstar_pluginlib.FStar_Class_Printable *)
module FStar_Class_Printable = Fstar_pluginlib__FStar_Class_Printable

(** @canonical Fstar_pluginlib.FStar_Class_TotalOrder_Raw *)
module FStar_Class_TotalOrder_Raw = Fstar_pluginlib__FStar_Class_TotalOrder_Raw

(** @canonical Fstar_pluginlib.FStar_Classical *)
module FStar_Classical = Fstar_pluginlib__FStar_Classical

(** @canonical Fstar_pluginlib.FStar_Classical_Sugar *)
module FStar_Classical_Sugar = Fstar_pluginlib__FStar_Classical_Sugar

(** @canonical Fstar_pluginlib.FStar_CommonST *)
module FStar_CommonST = Fstar_pluginlib__FStar_CommonST

(** @canonical Fstar_pluginlib.FStar_ConstantTime_Integers *)
module FStar_ConstantTime_Integers = Fstar_pluginlib__FStar_ConstantTime_Integers

(** @canonical Fstar_pluginlib.FStar_DependentMap *)
module FStar_DependentMap = Fstar_pluginlib__FStar_DependentMap

(** @canonical Fstar_pluginlib.FStar_Dyn *)
module FStar_Dyn = Fstar_pluginlib__FStar_Dyn

(** @canonical Fstar_pluginlib.FStar_Endianness *)
module FStar_Endianness = Fstar_pluginlib__FStar_Endianness

(** @canonical Fstar_pluginlib.FStar_Enumerable *)
module FStar_Enumerable = Fstar_pluginlib__FStar_Enumerable

(** @canonical Fstar_pluginlib.FStar_Error *)
module FStar_Error = Fstar_pluginlib__FStar_Error

(** @canonical Fstar_pluginlib.FStar_Exception *)
module FStar_Exception = Fstar_pluginlib__FStar_Exception

(** @canonical Fstar_pluginlib.FStar_Exn *)
module FStar_Exn = Fstar_pluginlib__FStar_Exn

(** @canonical Fstar_pluginlib.FStar_ExtractAs *)
module FStar_ExtractAs = Fstar_pluginlib__FStar_ExtractAs

(** @canonical Fstar_pluginlib.FStar_Fin *)
module FStar_Fin = Fstar_pluginlib__FStar_Fin

(** @canonical Fstar_pluginlib.FStar_FiniteMap_Ambient *)
module FStar_FiniteMap_Ambient = Fstar_pluginlib__FStar_FiniteMap_Ambient

(** @canonical Fstar_pluginlib.FStar_FiniteMap_Base *)
module FStar_FiniteMap_Base = Fstar_pluginlib__FStar_FiniteMap_Base

(** @canonical Fstar_pluginlib.FStar_FiniteSet_Ambient *)
module FStar_FiniteSet_Ambient = Fstar_pluginlib__FStar_FiniteSet_Ambient

(** @canonical Fstar_pluginlib.FStar_FiniteSet_Base *)
module FStar_FiniteSet_Base = Fstar_pluginlib__FStar_FiniteSet_Base

(** @canonical Fstar_pluginlib.FStar_Float *)
module FStar_Float = Fstar_pluginlib__FStar_Float

(** @canonical Fstar_pluginlib.FStar_Float32 *)
module FStar_Float32 = Fstar_pluginlib__FStar_Float32

(** @canonical Fstar_pluginlib.FStar_Float64 *)
module FStar_Float64 = Fstar_pluginlib__FStar_Float64

(** @canonical Fstar_pluginlib.FStar_FunctionalExtensionality *)
module FStar_FunctionalExtensionality = Fstar_pluginlib__FStar_FunctionalExtensionality

(** @canonical Fstar_pluginlib.FStar_FunctionalQueue *)
module FStar_FunctionalQueue = Fstar_pluginlib__FStar_FunctionalQueue

(** @canonical Fstar_pluginlib.FStar_Functions *)
module FStar_Functions = Fstar_pluginlib__FStar_Functions

(** @canonical Fstar_pluginlib.FStar_GSet *)
module FStar_GSet = Fstar_pluginlib__FStar_GSet

(** @canonical Fstar_pluginlib.FStar_GhostSet *)
module FStar_GhostSet = Fstar_pluginlib__FStar_GhostSet

(** @canonical Fstar_pluginlib.FStar_Heap *)
module FStar_Heap = Fstar_pluginlib__FStar_Heap

(** @canonical Fstar_pluginlib.FStar_IFC *)
module FStar_IFC = Fstar_pluginlib__FStar_IFC

(** @canonical Fstar_pluginlib.FStar_IO *)
module FStar_IO = Fstar_pluginlib__FStar_IO

(** @canonical Fstar_pluginlib.FStar_ImmutableArray *)
module FStar_ImmutableArray = Fstar_pluginlib__FStar_ImmutableArray

(** @canonical Fstar_pluginlib.FStar_ImmutableArray_Base *)
module FStar_ImmutableArray_Base = Fstar_pluginlib__FStar_ImmutableArray_Base

(** @canonical Fstar_pluginlib.FStar_IndefiniteDescription *)
module FStar_IndefiniteDescription = Fstar_pluginlib__FStar_IndefiniteDescription

(** @canonical Fstar_pluginlib.FStar_Injection *)
module FStar_Injection = Fstar_pluginlib__FStar_Injection

(** @canonical Fstar_pluginlib.FStar_Int *)
module FStar_Int = Fstar_pluginlib__FStar_Int

(** @canonical Fstar_pluginlib.FStar_Int128 *)
module FStar_Int128 = Fstar_pluginlib__FStar_Int128

(** @canonical Fstar_pluginlib.FStar_Int16 *)
module FStar_Int16 = Fstar_pluginlib__FStar_Int16

(** @canonical Fstar_pluginlib.FStar_Int32 *)
module FStar_Int32 = Fstar_pluginlib__FStar_Int32

(** @canonical Fstar_pluginlib.FStar_Int64 *)
module FStar_Int64 = Fstar_pluginlib__FStar_Int64

(** @canonical Fstar_pluginlib.FStar_Int8 *)
module FStar_Int8 = Fstar_pluginlib__FStar_Int8

(** @canonical Fstar_pluginlib.FStar_Int_Cast *)
module FStar_Int_Cast = Fstar_pluginlib__FStar_Int_Cast

(** @canonical Fstar_pluginlib.FStar_Int_Cast_Full *)
module FStar_Int_Cast_Full = Fstar_pluginlib__FStar_Int_Cast_Full

(** @canonical Fstar_pluginlib.FStar_IntegerIntervals *)
module FStar_IntegerIntervals = Fstar_pluginlib__FStar_IntegerIntervals

(** @canonical Fstar_pluginlib.FStar_Integers *)
module FStar_Integers = Fstar_pluginlib__FStar_Integers

(** @canonical Fstar_pluginlib.FStar_Issue *)
module FStar_Issue = Fstar_pluginlib__FStar_Issue

(** @canonical Fstar_pluginlib.FStar_LexicographicOrdering *)
module FStar_LexicographicOrdering = Fstar_pluginlib__FStar_LexicographicOrdering

(** @canonical Fstar_pluginlib.FStar_List *)
module FStar_List = Fstar_pluginlib__FStar_List

(** @canonical Fstar_pluginlib.FStar_List_Pure_Base *)
module FStar_List_Pure_Base = Fstar_pluginlib__FStar_List_Pure_Base

(** @canonical Fstar_pluginlib.FStar_List_Tot_Base *)
module FStar_List_Tot_Base = Fstar_pluginlib__FStar_List_Tot_Base

(** @canonical Fstar_pluginlib.FStar_List_Tot_Properties *)
module FStar_List_Tot_Properties = Fstar_pluginlib__FStar_List_Tot_Properties

(** @canonical Fstar_pluginlib.FStar_Map *)
module FStar_Map = Fstar_pluginlib__FStar_Map

(** @canonical Fstar_pluginlib.FStar_MarkovsPrinciple *)
module FStar_MarkovsPrinciple = Fstar_pluginlib__FStar_MarkovsPrinciple

(** @canonical Fstar_pluginlib.FStar_Math_Euclid *)
module FStar_Math_Euclid = Fstar_pluginlib__FStar_Math_Euclid

(** @canonical Fstar_pluginlib.FStar_Math_Exp *)
module FStar_Math_Exp = Fstar_pluginlib__FStar_Math_Exp

(** @canonical Fstar_pluginlib.FStar_Math_Fermat *)
module FStar_Math_Fermat = Fstar_pluginlib__FStar_Math_Fermat

(** @canonical Fstar_pluginlib.FStar_Math_Lemmas *)
module FStar_Math_Lemmas = Fstar_pluginlib__FStar_Math_Lemmas

(** @canonical Fstar_pluginlib.FStar_Math_Lib *)
module FStar_Math_Lib = Fstar_pluginlib__FStar_Math_Lib

(** @canonical Fstar_pluginlib.FStar_Matrix *)
module FStar_Matrix = Fstar_pluginlib__FStar_Matrix

(** @canonical Fstar_pluginlib.FStar_Monotonic_Heap *)
module FStar_Monotonic_Heap = Fstar_pluginlib__FStar_Monotonic_Heap

(** @canonical Fstar_pluginlib.FStar_Monotonic_Pure *)
module FStar_Monotonic_Pure = Fstar_pluginlib__FStar_Monotonic_Pure

(** @canonical Fstar_pluginlib.FStar_Nonempty *)
module FStar_Nonempty = Fstar_pluginlib__FStar_Nonempty

(** @canonical Fstar_pluginlib.FStar_NormSteps *)
module FStar_NormSteps = Fstar_pluginlib__FStar_NormSteps

(** @canonical Fstar_pluginlib.FStar_Option *)
module FStar_Option = Fstar_pluginlib__FStar_Option

(** @canonical Fstar_pluginlib.FStar_OrdMap *)
module FStar_OrdMap = Fstar_pluginlib__FStar_OrdMap

(** @canonical Fstar_pluginlib.FStar_OrdMapProps *)
module FStar_OrdMapProps = Fstar_pluginlib__FStar_OrdMapProps

(** @canonical Fstar_pluginlib.FStar_OrdSet *)
module FStar_OrdSet = Fstar_pluginlib__FStar_OrdSet

(** @canonical Fstar_pluginlib.FStar_OrdSetProps *)
module FStar_OrdSetProps = Fstar_pluginlib__FStar_OrdSetProps

(** @canonical Fstar_pluginlib.FStar_Order *)
module FStar_Order = Fstar_pluginlib__FStar_Order

(** @canonical Fstar_pluginlib.FStar_PCM *)
module FStar_PCM = Fstar_pluginlib__FStar_PCM

(** @canonical Fstar_pluginlib.FStar_Parse *)
module FStar_Parse = Fstar_pluginlib__FStar_Parse

(** @canonical Fstar_pluginlib.FStar_PartialMap *)
module FStar_PartialMap = Fstar_pluginlib__FStar_PartialMap

(** @canonical Fstar_pluginlib.FStar_Pervasives *)
module FStar_Pervasives = Fstar_pluginlib__FStar_Pervasives

(** @canonical Fstar_pluginlib.FStar_Pervasives_Native *)
module FStar_Pervasives_Native = Fstar_pluginlib__FStar_Pervasives_Native

(** @canonical Fstar_pluginlib.FStar_Pprint *)
module FStar_Pprint = Fstar_pluginlib__FStar_Pprint

(** @canonical Fstar_pluginlib.FStar_PredicateExtensionality *)
module FStar_PredicateExtensionality = Fstar_pluginlib__FStar_PredicateExtensionality

(** @canonical Fstar_pluginlib.FStar_Preorder *)
module FStar_Preorder = Fstar_pluginlib__FStar_Preorder

(** @canonical Fstar_pluginlib.FStar_PropositionalExtensionality *)
module FStar_PropositionalExtensionality = Fstar_pluginlib__FStar_PropositionalExtensionality

(** @canonical Fstar_pluginlib.FStar_PtrdiffT *)
module FStar_PtrdiffT = Fstar_pluginlib__FStar_PtrdiffT

(** @canonical Fstar_pluginlib.FStar_Pure_BreakVC *)
module FStar_Pure_BreakVC = Fstar_pluginlib__FStar_Pure_BreakVC

(** @canonical Fstar_pluginlib.FStar_RBMap *)
module FStar_RBMap = Fstar_pluginlib__FStar_RBMap

(** @canonical Fstar_pluginlib.FStar_RBSet *)
module FStar_RBSet = Fstar_pluginlib__FStar_RBSet

(** @canonical Fstar_pluginlib.FStar_Range *)
module FStar_Range = Fstar_pluginlib__FStar_Range

(** @canonical Fstar_pluginlib.FStar_RefinementExtensionality *)
module FStar_RefinementExtensionality = Fstar_pluginlib__FStar_RefinementExtensionality

(** @canonical Fstar_pluginlib.FStar_Reflection *)
module FStar_Reflection = Fstar_pluginlib__FStar_Reflection

(** @canonical Fstar_pluginlib.FStar_Reflection_Const *)
module FStar_Reflection_Const = Fstar_pluginlib__FStar_Reflection_Const

(** @canonical Fstar_pluginlib.FStar_Reflection_Formula *)
module FStar_Reflection_Formula = Fstar_pluginlib__FStar_Reflection_Formula

(** @canonical Fstar_pluginlib.FStar_Reflection_TermEq *)
module FStar_Reflection_TermEq = Fstar_pluginlib__FStar_Reflection_TermEq

(** @canonical Fstar_pluginlib.FStar_Reflection_TermEq_Simple *)
module FStar_Reflection_TermEq_Simple = Fstar_pluginlib__FStar_Reflection_TermEq_Simple

(** @canonical Fstar_pluginlib.FStar_Reflection_Typing *)
module FStar_Reflection_Typing = Fstar_pluginlib__FStar_Reflection_Typing

(** @canonical Fstar_pluginlib.FStar_Reflection_Typing_Builtins *)
module FStar_Reflection_Typing_Builtins = Fstar_pluginlib__FStar_Reflection_Typing_Builtins

(** @canonical Fstar_pluginlib.FStar_Reflection_V2 *)
module FStar_Reflection_V2 = Fstar_pluginlib__FStar_Reflection_V2

(** @canonical Fstar_pluginlib.FStar_Reflection_V2_Arith *)
module FStar_Reflection_V2_Arith = Fstar_pluginlib__FStar_Reflection_V2_Arith

(** @canonical Fstar_pluginlib.FStar_Reflection_V2_Collect *)
module FStar_Reflection_V2_Collect = Fstar_pluginlib__FStar_Reflection_V2_Collect

(** @canonical Fstar_pluginlib.FStar_Reflection_V2_Compare *)
module FStar_Reflection_V2_Compare = Fstar_pluginlib__FStar_Reflection_V2_Compare

(** @canonical Fstar_pluginlib.FStar_Reflection_V2_Derived *)
module FStar_Reflection_V2_Derived = Fstar_pluginlib__FStar_Reflection_V2_Derived

(** @canonical Fstar_pluginlib.FStar_Reflection_V2_Derived_Lemmas *)
module FStar_Reflection_V2_Derived_Lemmas = Fstar_pluginlib__FStar_Reflection_V2_Derived_Lemmas

(** @canonical Fstar_pluginlib.FStar_Reflection_V2_Formula *)
module FStar_Reflection_V2_Formula = Fstar_pluginlib__FStar_Reflection_V2_Formula

(** @canonical Fstar_pluginlib.FStar_ReflexiveTransitiveClosure *)
module FStar_ReflexiveTransitiveClosure = Fstar_pluginlib__FStar_ReflexiveTransitiveClosure

(** @canonical Fstar_pluginlib.FStar_ST *)
module FStar_ST = Fstar_pluginlib__FStar_ST

(** @canonical Fstar_pluginlib.FStar_Sealed *)
module FStar_Sealed = Fstar_pluginlib__FStar_Sealed

(** @canonical Fstar_pluginlib.FStar_Sealed_Inhabited *)
module FStar_Sealed_Inhabited = Fstar_pluginlib__FStar_Sealed_Inhabited

(** @canonical Fstar_pluginlib.FStar_Seq *)
module FStar_Seq = Fstar_pluginlib__FStar_Seq

(** @canonical Fstar_pluginlib.FStar_Seq_Base *)
module FStar_Seq_Base = Fstar_pluginlib__FStar_Seq_Base

(** @canonical Fstar_pluginlib.FStar_Seq_Equiv *)
module FStar_Seq_Equiv = Fstar_pluginlib__FStar_Seq_Equiv

(** @canonical Fstar_pluginlib.FStar_Seq_Permutation *)
module FStar_Seq_Permutation = Fstar_pluginlib__FStar_Seq_Permutation

(** @canonical Fstar_pluginlib.FStar_Seq_Properties *)
module FStar_Seq_Properties = Fstar_pluginlib__FStar_Seq_Properties

(** @canonical Fstar_pluginlib.FStar_Seq_Sorted *)
module FStar_Seq_Sorted = Fstar_pluginlib__FStar_Seq_Sorted

(** @canonical Fstar_pluginlib.FStar_Sequence *)
module FStar_Sequence = Fstar_pluginlib__FStar_Sequence

(** @canonical Fstar_pluginlib.FStar_Sequence_Ambient *)
module FStar_Sequence_Ambient = Fstar_pluginlib__FStar_Sequence_Ambient

(** @canonical Fstar_pluginlib.FStar_Sequence_Base *)
module FStar_Sequence_Base = Fstar_pluginlib__FStar_Sequence_Base

(** @canonical Fstar_pluginlib.FStar_Sequence_Permutation *)
module FStar_Sequence_Permutation = Fstar_pluginlib__FStar_Sequence_Permutation

(** @canonical Fstar_pluginlib.FStar_Sequence_Seq *)
module FStar_Sequence_Seq = Fstar_pluginlib__FStar_Sequence_Seq

(** @canonical Fstar_pluginlib.FStar_Sequence_Util *)
module FStar_Sequence_Util = Fstar_pluginlib__FStar_Sequence_Util

(** @canonical Fstar_pluginlib.FStar_Set *)
module FStar_Set = Fstar_pluginlib__FStar_Set

(** @canonical Fstar_pluginlib.FStar_SizeT *)
module FStar_SizeT = Fstar_pluginlib__FStar_SizeT

(** @canonical Fstar_pluginlib.FStar_String *)
module FStar_String = Fstar_pluginlib__FStar_String

(** @canonical Fstar_pluginlib.FStar_Tactics_Arith *)
module FStar_Tactics_Arith = Fstar_pluginlib__FStar_Tactics_Arith

(** @canonical Fstar_pluginlib.FStar_Tactics_BV *)
module FStar_Tactics_BV = Fstar_pluginlib__FStar_Tactics_BV

(** @canonical Fstar_pluginlib.FStar_Tactics_BV_Lemmas *)
module FStar_Tactics_BV_Lemmas = Fstar_pluginlib__FStar_Tactics_BV_Lemmas

(** @canonical Fstar_pluginlib.FStar_Tactics_BreakVC *)
module FStar_Tactics_BreakVC = Fstar_pluginlib__FStar_Tactics_BreakVC

(** @canonical Fstar_pluginlib.FStar_Tactics_Canon *)
module FStar_Tactics_Canon = Fstar_pluginlib__FStar_Tactics_Canon

(** @canonical Fstar_pluginlib.FStar_Tactics_CanonCommMonoid *)
module FStar_Tactics_CanonCommMonoid = Fstar_pluginlib__FStar_Tactics_CanonCommMonoid

(** @canonical Fstar_pluginlib.FStar_Tactics_CanonCommMonoidSimple *)
module FStar_Tactics_CanonCommMonoidSimple = Fstar_pluginlib__FStar_Tactics_CanonCommMonoidSimple

(** @canonical Fstar_pluginlib.FStar_Tactics_CanonCommMonoidSimple_Equiv *)
module FStar_Tactics_CanonCommMonoidSimple_Equiv = Fstar_pluginlib__FStar_Tactics_CanonCommMonoidSimple_Equiv

(** @canonical Fstar_pluginlib.FStar_Tactics_CanonCommSemiring *)
module FStar_Tactics_CanonCommSemiring = Fstar_pluginlib__FStar_Tactics_CanonCommSemiring

(** @canonical Fstar_pluginlib.FStar_Tactics_CanonCommSwaps *)
module FStar_Tactics_CanonCommSwaps = Fstar_pluginlib__FStar_Tactics_CanonCommSwaps

(** @canonical Fstar_pluginlib.FStar_Tactics_CanonMonoid *)
module FStar_Tactics_CanonMonoid = Fstar_pluginlib__FStar_Tactics_CanonMonoid

(** @canonical Fstar_pluginlib.FStar_Tactics_Canon_Lemmas *)
module FStar_Tactics_Canon_Lemmas = Fstar_pluginlib__FStar_Tactics_Canon_Lemmas

(** @canonical Fstar_pluginlib.FStar_Tactics_CheckLN *)
module FStar_Tactics_CheckLN = Fstar_pluginlib__FStar_Tactics_CheckLN

(** @canonical Fstar_pluginlib.FStar_Tactics_Derived *)
module FStar_Tactics_Derived = Fstar_pluginlib__FStar_Tactics_Derived

(** @canonical Fstar_pluginlib.FStar_Tactics_Easy *)
module FStar_Tactics_Easy = Fstar_pluginlib__FStar_Tactics_Easy

(** @canonical Fstar_pluginlib.FStar_Tactics_Effect *)
module FStar_Tactics_Effect = Fstar_pluginlib__FStar_Tactics_Effect

(** @canonical Fstar_pluginlib.FStar_Tactics_LaxTermEq *)
module FStar_Tactics_LaxTermEq = Fstar_pluginlib__FStar_Tactics_LaxTermEq

(** @canonical Fstar_pluginlib.FStar_Tactics_Logic *)
module FStar_Tactics_Logic = Fstar_pluginlib__FStar_Tactics_Logic

(** @canonical Fstar_pluginlib.FStar_Tactics_Logic_Lemmas *)
module FStar_Tactics_Logic_Lemmas = Fstar_pluginlib__FStar_Tactics_Logic_Lemmas

(** @canonical Fstar_pluginlib.FStar_Tactics_MApply *)
module FStar_Tactics_MApply = Fstar_pluginlib__FStar_Tactics_MApply

(** @canonical Fstar_pluginlib.FStar_Tactics_MApply0 *)
module FStar_Tactics_MApply0 = Fstar_pluginlib__FStar_Tactics_MApply0

(** @canonical Fstar_pluginlib.FStar_Tactics_MkProjectors *)
module FStar_Tactics_MkProjectors = Fstar_pluginlib__FStar_Tactics_MkProjectors

(** @canonical Fstar_pluginlib.FStar_Tactics_NamedView *)
module FStar_Tactics_NamedView = Fstar_pluginlib__FStar_Tactics_NamedView

(** @canonical Fstar_pluginlib.FStar_Tactics_Names *)
module FStar_Tactics_Names = Fstar_pluginlib__FStar_Tactics_Names

(** @canonical Fstar_pluginlib.FStar_Tactics_Parametricity *)
module FStar_Tactics_Parametricity = Fstar_pluginlib__FStar_Tactics_Parametricity

(** @canonical Fstar_pluginlib.FStar_Tactics_PatternMatching *)
module FStar_Tactics_PatternMatching = Fstar_pluginlib__FStar_Tactics_PatternMatching

(** @canonical Fstar_pluginlib.FStar_Tactics_PrettifyType *)
module FStar_Tactics_PrettifyType = Fstar_pluginlib__FStar_Tactics_PrettifyType

(** @canonical Fstar_pluginlib.FStar_Tactics_Print *)
module FStar_Tactics_Print = Fstar_pluginlib__FStar_Tactics_Print

(** @canonical Fstar_pluginlib.FStar_Tactics_SMT *)
module FStar_Tactics_SMT = Fstar_pluginlib__FStar_Tactics_SMT

(** @canonical Fstar_pluginlib.FStar_Tactics_Simplifier *)
module FStar_Tactics_Simplifier = Fstar_pluginlib__FStar_Tactics_Simplifier

(** @canonical Fstar_pluginlib.FStar_Tactics_SyntaxHelpers *)
module FStar_Tactics_SyntaxHelpers = Fstar_pluginlib__FStar_Tactics_SyntaxHelpers

(** @canonical Fstar_pluginlib.FStar_Tactics_TypeRepr *)
module FStar_Tactics_TypeRepr = Fstar_pluginlib__FStar_Tactics_TypeRepr

(** @canonical Fstar_pluginlib.FStar_Tactics_Typeclasses *)
module FStar_Tactics_Typeclasses = Fstar_pluginlib__FStar_Tactics_Typeclasses

(** @canonical Fstar_pluginlib.FStar_Tactics_Util *)
module FStar_Tactics_Util = Fstar_pluginlib__FStar_Tactics_Util

(** @canonical Fstar_pluginlib.FStar_Tactics_V2_Derived *)
module FStar_Tactics_V2_Derived = Fstar_pluginlib__FStar_Tactics_V2_Derived

(** @canonical Fstar_pluginlib.FStar_Tactics_V2_Logic *)
module FStar_Tactics_V2_Logic = Fstar_pluginlib__FStar_Tactics_V2_Logic

(** @canonical Fstar_pluginlib.FStar_Tactics_V2_SyntaxCoercions *)
module FStar_Tactics_V2_SyntaxCoercions = Fstar_pluginlib__FStar_Tactics_V2_SyntaxCoercions

(** @canonical Fstar_pluginlib.FStar_Tactics_V2_SyntaxHelpers *)
module FStar_Tactics_V2_SyntaxHelpers = Fstar_pluginlib__FStar_Tactics_V2_SyntaxHelpers

(** @canonical Fstar_pluginlib.FStar_Tactics_Visit *)
module FStar_Tactics_Visit = Fstar_pluginlib__FStar_Tactics_Visit

(** @canonical Fstar_pluginlib.FStar_UInt *)
module FStar_UInt = Fstar_pluginlib__FStar_UInt

(** @canonical Fstar_pluginlib.FStar_UInt128 *)
module FStar_UInt128 = Fstar_pluginlib__FStar_UInt128

(** @canonical Fstar_pluginlib.FStar_UInt16 *)
module FStar_UInt16 = Fstar_pluginlib__FStar_UInt16

(** @canonical Fstar_pluginlib.FStar_UInt32 *)
module FStar_UInt32 = Fstar_pluginlib__FStar_UInt32

(** @canonical Fstar_pluginlib.FStar_UInt64 *)
module FStar_UInt64 = Fstar_pluginlib__FStar_UInt64

(** @canonical Fstar_pluginlib.FStar_UInt8 *)
module FStar_UInt8 = Fstar_pluginlib__FStar_UInt8

(** @canonical Fstar_pluginlib.FStar_Universe *)
module FStar_Universe = Fstar_pluginlib__FStar_Universe

(** @canonical Fstar_pluginlib.FStar_Universe_PCM *)
module FStar_Universe_PCM = Fstar_pluginlib__FStar_Universe_PCM

(** @canonical Fstar_pluginlib.FStar_WellFounded *)
module FStar_WellFounded = Fstar_pluginlib__FStar_WellFounded

(** @canonical Fstar_pluginlib.FStar_WellFoundedRelation *)
module FStar_WellFoundedRelation = Fstar_pluginlib__FStar_WellFoundedRelation

(** @canonical Fstar_pluginlib.FStar_WellFounded_Util *)
module FStar_WellFounded_Util = Fstar_pluginlib__FStar_WellFounded_Util

(** @canonical Fstar_pluginlib.Prims *)
module Prims = Fstar_pluginlib__Prims
