val comment_gen: #t: Type -> before: string -> body: t -> after: string -> Pure t
  (requires (True))
  (ensures (fun res -> res == body))
let comment_gen
  #t before body after
= body
val comment_gen: #t: Type -> before: string -> body: t -> after: string -> Pure t
  (requires (True))
  (ensures (fun res -> res == body))
let comment_gen #t before body after =
body
LowStar.Comment.fst.checked
prims.fst.checked FStar.Pervasives.fsti.checked
LowStar.Comment.fst
Prims.string
module LowStar.Comment

let comment_gen
val comment_gen: #t: Type -> before: string -> body: t -> after: string -> Pure t
  (requires (True))
  (ensures (fun res -> res == body))
before: Prims.string -> body: t -> after: Prims.string -> Prims.Pure t