| Layout l -> aux_layout l
| Magic m -> aux_magic m
| Variable v -> aux_variable v
- | t -> prerr_endline (CicNotationPp.pp_term t); assert false
+ | t ->
+ prerr_endline (CicNotationPp.pp_term t);
+ assert false
and aux_literal =
function
`Symbol s -> [NoBinding, symbol s]