let
deq_ctype : (typ
->
term
->
term
->
pred) ref = ref (
fun
_ _ _
->
assert
false
)