val join_goals : bool
let join_goals : bool = false
val join_goals : bool
let join_goals:bool =
false
Pulse.Config.fst.checked
prims.fst.checked FStar.Tactics.V2.fst.checked FStar.Pervasives.fsti.checked
Pulse.Config.fst
Prims.bool
module Pulse.Config

open FStar.Tactics.V2
val join_goals : bool
Prims.bool