return unit_type from verify_function, so that it can modify the context
[ajla.git] / stdlib / private / 
treefd96ac153e97d7d2a9a8825946c89ca8acb8c592
drwxr-xr-x   ..
-rw-r--r-- 17525 fixed_point.ajla
-rw-r--r-- 5485 long.ajla
-rw-r--r-- 5719 longreal.ajla
-rw-r--r-- 12729 math.ajla
-rw-r--r-- 9345 rational.ajla
-rw-r--r-- 8684 show.ajla