coq-elpi.configuration

{
	"comments": {
		"blockComment": [ "(*", "*)" ]
	},
	"brackets": [
		["{", "}"],
		["[", "]"],
		["(*", "*)"],
		["(", ")"]
	]
}