| SpecSim Programmer Manual |
typedef void* DeClosure an opaque data type
DeClosure represents light-weight threads. They are essentially functions that can be executed atomically (there is no context switch before the completion of its execution).
generated by doc++