[
[ t1 = term; SYMBOL <:unicode<land>> (* ∧ *); t2 = term ->
return_term loc (CicAst.Appl [CicAst.Symbol ("and", 0); t1; t2])
]
];
[
[ t1 = term; SYMBOL <:unicode<land>> (* ∧ *); t2 = term ->
return_term loc (CicAst.Appl [CicAst.Symbol ("and", 0); t1; t2])
]
];