(* $Id$ *)

open Pp
open Term

val prterm : constr -> std_ppcmds