plugins/microc/mc_printer.mli

   1 (********************************************************************)
   2 (*                                                                  *)
   3 (*  The Why3 Verification Platform   /   The Why3 Development Team  *)
   4 (*  Copyright 2010-2023 --  Inria - CNRS - Paris-Saclay University  *)
   5 (*                                                                  *)
   6 (*  This software is distributed under the terms of the GNU Lesser  *)
   7 (*  General Public License version 2.1, with the special exception  *)
   8 (*  on linking described in file LICENSE.                           *)
   9 (*                                                                  *)
  10 (********************************************************************)
  11
  12 open Why3
  13
  14 (* This function is used as an extension of printing of task for microc *)
  15 val microc_ext_printer: (Format.formatter -> Pretty.any_pp -> unit) ->
  16   Format.formatter -> Pretty.any_pp -> unit