The Meta-Environment API

test.tb File Reference

Go to the source code of this file.

Functions

process TEST is let T snd do (T, just-a-test).tau delay(sec(10)) endlet tool test is

Variables

process TEST is let T
process TEST is let T1
process TEST is let T2


Function Documentation

process TEST is let T snd do T  ,
just-a-  test
 

Definition at line 7 of file test.tb.


Variable Documentation

process TEST is let T
 

Definition at line 3 of file test.tb.

process TEST is let T1
 

Definition at line 3 of file test.tb.

process TEST is let T2
 

Definition at line 3 of file test.tb.


Generated on Mon Sep 21 16:12:36 2009 for aterm by  doxygen 1.4.6