ATSLIB/contrib/cairo/Drawing/cairo-cairo-pattern-t

cairo_pattern_reference

Synopsis

fun cairo_pattern_reference
  {l:agz} (x: !xrpat (l)): xrpat (l) = "mac#%"

cairo_pattern_destroy

Synopsis

fun cairo_pattern_destroy
  (x: xrpat1): void = "mac#%" // end of [cairo_pattern_destroy]

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.