view tests/subs_sig.ur @ 1369:1a78ca089bd0

Expose buffer type for other C libraries; replace minusSeconds with addSeconds
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 15:52:56 -0500
parents 71bafe66dbe1
children
line wrap: on
line source
signature S = sig
        type t
end

structure S : S = struct
        type t = int
end