Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 20278da200
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 12 lines (9 sloc) 0.181 kb
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
Something went wrong with that request. Please try again.