val text : string -> FStar.Stubs.Pprint.document
let text (s:string) : FStar.Stubs.Pprint.document =
  flow (break_ 1) (words s)
val text : string -> FStar.Stubs.Pprint.document
let text (s: string) : FStar.Stubs.Pprint.document =
flow (break_ 1) (words s)
Pulse.PP.fst.checked
Pulse.Typing.Env.fsti.checked Pulse.Typing.fst.checked Pulse.Syntax.Printer.fsti.checked Pulse.Syntax.Base.fsti.checked Pulse.Show.fst.checked prims.fst.checked FStar.Tactics.V2.fst.checked FStar.Tactics.Typeclasses.fsti.checked FStar.Tactics.fst.checked FStar.Stubs.Pprint.fsti.checked FStar.Reflection.V2.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked
Pulse.PP.fst
Prims.string FStar.Stubs.Pprint.flow FStar.Stubs.Pprint.break_ FStar.Stubs.Pprint.words FStar.Stubs.Pprint.document
module Pulse.PP

include FStar.Stubs.Pprint

open FStar.Tactics
open FStar.Tactics.Typeclasses
open FStar.Stubs.Pprint
open Pulse.Typing
open Pulse.Syntax.Base
open Pulse.Syntax.Printer

open Pulse.Show

(* A helper to create wrapped text *)
val text : string -> FStar.Stubs.Pprint.document
val text : string -> FStar.Stubs.Pprint.document
s: Prims.string -> FStar.Stubs.Pprint.document