git @ Cat's Eye Technologies Dieter / master eg / example8.dtr
master

Tree @master (Download .tar.gz)

example8.dtr @masterraw · history · blame

/* -*- encoding: utf-8 -*- */
/* from the article */

module beefy

  procedure beef_up(x: t): beefy t
  begin
    return (bestow beefy x)
  end

end