typedef offset ( count : int ) = [ off : nat | off < count ] size_t off
prfn offset_get_index { count : int } { off : nat | off < count } ( off : size_t off ) : [ off' : nat | off < count ] EQINT ( off, off' ) = eqint_make { off, off } ()
fn { size : int } foo ( off : offset size ) : void = let prval [ off : int ] EQINT () = offset_get_index { size } ( off )in () end
--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/146bc984-bd81-4ede-8ee7-829f872de894%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/64b69c6f-0d19-4265-a059-1f54b16b352b%40googlegroups.com.