helm/software/components/ng_kernel/nCicPp.ml

   1 let ppterm =
   2   ref (fun ~context ~subst ~metasenv t -> "Please, set a pp callback")
   3 ;;
   4
   5 let set_ppterm f = ppterm := f;;
   6
   7 let ppterm ?(context=[]) ?(subst=[]) ?(metasenv=[]) t =
   8   !ppterm ~context ~subst ~metasenv t
   9 ;;