mission WithInsertExample {
arguments {
time = 5 minute
}
insert _examples/SysLogExample.tl {
redefineArg newTime = time
# TethysL will validate both the LHS and RHS in the body,
# including type compatibility.
# Try changing the names above and the expression on the RHS.
# SkipComms is a boolean in SysLogExample;
# try uncommenting and compiling this:
#redefineArg SkipComms = 1 meter
}
## insert with no block:
#insert _examples/SysLogExample.tl
}