annotate tests/test.h @ 971:c22e524a6dd3

Basic arithmetic working with interpretation
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Sep 2009 13:23:27 -0400
parents eac1974924bb
children
rev   line source
adamc@764 1 #include "../include/urweb.h"
adamc@764 2
adamc@764 3 typedef uw_Basis_string uw_Test_t;
adamc@764 4
adamc@764 5 uw_Test_t uw_Test_create(uw_context, uw_Basis_string);
adamc@764 6 uw_Basis_string uw_Test_out(uw_context, uw_Test_t);
adamc@764 7 uw_Test_t uw_Test_frob(uw_context, uw_Test_t, uw_Basis_string);
adamc@765 8
adamc@765 9 uw_Basis_unit uw_Test_print(uw_context);
adamc@766 10 uw_Basis_unit uw_Test_foo(uw_context);
adamc@771 11
adamc@771 12 uw_Basis_unit uw_Test_transactional(uw_context);