summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/testlabl/printers.ml
blob: c80c42d66ccac90a2a50deeb91c5900cf6a2d924 (plain)
1
2
3
4
5
6
7
8
9
10
11
(* $Id$ *)

open Types

let ignore_abbrevs ppf ab =
  let s = match ab with
    Mnil -> "Mnil"
  | Mlink _ -> "Mlink _"
  | Mcons _ -> "Mcons _"
  in
  Format.pp_print_string ppf s