let pat_var s = Pat_Var s
let pat_var s =
Pat_Var s
Pulse.Syntax.Builder.fst.checked
Pulse.Syntax.fst.checked prims.fst.checked FStar.Pervasives.fsti.checked
Pulse.Syntax.Builder.fst
FStar.Reflection.Typing.pp_name_t Pulse.Syntax.Base.Pat_Var FStar.Reflection.Typing.sort_t Pulse.Syntax.Base.pattern
module Pulse.Syntax.Builder
open Pulse.Syntax
val pat_var : s: FStar.Reflection.Typing.pp_name_t -> ty: FStar.Reflection.Typing.sort_t
  -> Pulse.Syntax.Base.pattern
s: FStar.Reflection.Typing.pp_name_t -> ty: FStar.Reflection.Typing.sort_t
  -> Pulse.Syntax.Base.pattern