Index - J
| Java | |
| 1 (Data Constructor) | Crux.SVCOMP |
| 2 (Data Constructor) | Crux.SVCOMP.Witness |
| JS | |
| 1 (Type/Class) | Crux.UI.JS |
| 2 (Data Constructor) | Crux.UI.JS |
| jsBool | Crux.UI.JS |
| jsList | Crux.UI.JS |
| jsLoc | Crux.UI.JS |
| jsMaybe | Crux.UI.JS |
| jsNotProvedGoal | Crux.Report |
| jsNull | Crux.UI.JS |
| jsNum | Crux.UI.JS |
| jsObj | Crux.UI.JS |
| jsPath | Crux.Report |
| jsProvedGoal | Crux.Report |
| jsStr | Crux.UI.JS |