anchor.diff:    See the License for the specific language governing permissions and
     limitations under the License.
   *)
  +
   #light "off"
  -
  -
  -
  -
   
   (** Convert Parser.Ast to Pprint.document for prettyprinting. *)
   module FStar.Parser.ToDocument
  
positive.code:   should_print_fs_typ_app := b0 ;
    res
  
  
  (* TODO : everything is printed under the assumption of the universe option *)
  
  // abbrev
  let str s = doc_of_string s
  
negative.code:     let es = extract_from_ref_set e in
      surround 2 0 (bang ^^ lbrace) (separate_map_or_flow (comma ^^ break1) p_appTerm es) rbrace
  
    (* Failure cases : these cases are not handled in the printing grammar since *)
    (* they are considered as invalid AST. We try to fail as soon as possible in order *)
    (* to prevent the pretty printer from looping *)
  