(executable
 (name gen_explain)
 (libraries unix menhirSdk))
