let pp_term : (Format.formatter -> term -> unit) ref = ref (fun _ _ -> ())