let pat_const c = Pat_Constant c
let pat_const c =
Pat_Constant c
Pulse.Syntax.Builder.fst.checked
Pulse.Syntax.fst.checked prims.fst.checked FStar.Pervasives.fsti.checked
Pulse.Syntax.Builder.fst
Pulse.Syntax.Base.constant Pulse.Syntax.Base.Pat_Constant Pulse.Syntax.Base.pattern
module Pulse.Syntax.Builder
open Pulse.Syntax
val pat_const : c: Pulse.Syntax.Base.constant -> Pulse.Syntax.Base.pattern
c: Pulse.Syntax.Base.constant -> Pulse.Syntax.Base.pattern