let pat_cons fv vs = Pat_Cons fv vs
let pat_cons fv vs =
Pat_Cons fv vs
Pulse.Syntax.Builder.fst.checked
Pulse.Syntax.fst.checked prims.fst.checked FStar.Pervasives.fsti.checked
Pulse.Syntax.Builder.fst
Pulse.Syntax.Base.fv Prims.list FStar.Pervasives.Native.tuple2 Pulse.Syntax.Base.pattern Prims.bool Pulse.Syntax.Base.Pat_Cons
module Pulse.Syntax.Builder
open Pulse.Syntax

let pat_var s = Pat_Var s
val pat_cons : fv: Pulse.Syntax.Base.fv -> vs: Prims.list (Pulse.Syntax.Base.pattern * Prims.bool)
  -> Pulse.Syntax.Base.pattern
fv: Pulse.Syntax.Base.fv -> vs: Prims.list (Pulse.Syntax.Base.pattern * Prims.bool)
  -> Pulse.Syntax.Base.pattern