File: README

package info (click to toggle)
coq-corn 8.20.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 7,216 kB
  • sloc: python: 112; haskell: 69; makefile: 39; sh: 4
file content (9 lines) | stat: -rw-r--r-- 229 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
 
write_image writes a CoRN "sparse_raster" to a file in PPM (portable pixmap) format.

Usage:

Require Import CoRN.write_image.WritePPM.

<create a sparse_raster object>

Elpi WritePPM "<filename>.ppm" ( <sparse_raster object> ).