spectec/src/backend-prose/print.mli

open Prose

val string_of_stmt : stmt -> string
val string_of_def : def -> string
val string_of_prose : prose -> string
val file_of_prose : string -> prose -> unit