← Back to branch summary

~ubuntu-branches/ubuntu/jaunty/mlgmp/jaunty

« back to all changes in this revision

Viewing changes to creal_pp.mli

  • Committer: Bazaar Package Importer
  • Author(s): Mike Furr
  • Date: 2004-04-18 21:32:08 UTC
  • Revision ID: james.westby@ubuntu.com-20040418213208-07ib0ylj42wvbg5b
Tags: upstream-20021123
Import upstream version 20021123

Show diffs side-by-side

added added

removed removed

Lines of Context:
creal_pp.mli
 
1
 
 
2
val precision : int ref
 
3
val pp : Creal.t -> unit