context.json

[
	{
		"ref": {
			"uri": "http://mathhub.info/FrameIT/frameworld?StepUntil?stepUntil"
		},
		"label": "<no label>",
		"tp": {
			"params": [
				{
					"uri": "http://cds.omdoc.org/urtheories?Typed?type",
					"kind": "OMS"
				},
				{
					"name": "X",
					"kind": "VAR"
				},
				{
					"params": [
						{
							"name": "X",
							"kind": "VAR"
						}
					],
					"ret": {
						"name": "X",
						"kind": "VAR"
					},
					"kind": "FUNTYPE"
				},
				{
					"params": [
						{
							"name": "X",
							"kind": "VAR"
						}
					],
					"ret": {
						"uri": "http://mathhub.info/MitM/Foundation?Logic?prop",
						"kind": "OMS"
					},
					"kind": "FUNTYPE"
				}
			],
			"ret": {
				"applicant": {
					"uri": "http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols?ListType",
					"kind": "OMS"
				},
				"arguments": [
					{
						"name": "X",
						"kind": "VAR"
					}
				],
				"kind": "OMA"
			},
			"kind": "FUNTYPE"
		},
		"df": null,
		"kind": "general"
	},
	{
		"ref": {
			"uri": "http://mathhub.info/FrameIT/frameworld?IfThenElseX?ifthenelsex"
		},
		"label": "<no label>",
		"tp": {
			"params": [
				{
					"uri": "http://cds.omdoc.org/urtheories?Typed?type",