d:Decl, trace:(
d) List, proj:(Label
Label
). mk_trace_env(trace, proj) 
trace_env(d)| Who Cites mk trace env? | |
| mk_trace_env | Def mk_trace_env(trace, proj) == < trace,proj > |
| Thm* d:Decl, trace:(d) List, proj:(LabelLabel). mk_trace_env(trace, proj) trace_env(d) |
| Syntax: | mk_trace_env(trace, proj) | has structure: | mk_trace_env(trace; proj) |
About:
 |  |  |  |  |  |  |