blob: d9c2336bc27f3fd931b5249902cc055da77826b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(* $Id$ *)
open Pp
open Names
open Term
open Sign
open Environ
val pr_id : identifier -> std_ppcmds
val pr_sp : section_path -> std_ppcmds
val gen_pr_term : path_kind -> 'a unsafe_env -> constr -> std_ppcmds
val pr_term : constr -> std_ppcmds
val pr_ne_env : std_ppcmds -> path_kind -> environment -> std_ppcmds
|
