module K : sig ... endval iprinter : Ident.ident_printerval aprinter : Ident.ident_printerval tprinter : Ident.ident_printerval forget_id : Ident.ident -> unitval _forget_ids : Ident.ident list -> unitval forget_var : Mltree.var -> unitval forget_vars : Mltree.var list -> unitval forget_let_defn : Mltree.let_def -> unitval forget_pat : Mltree.pat -> unitval print_global_ident :
sanitizer:(string -> string) ->
Format.formatter ->
Ident.ident ->
unitval print_path :
sanitizer:(string -> string) ->
Format.formatter ->
(string list * Ident.ident) ->
unitval print_lident : info -> Format.formatter -> Ident.Sid.elt -> unitval print_uident : info -> Format.formatter -> Ident.Sid.elt -> unitval print_tv : Format.formatter -> Ty.tvsymbol -> unitval print_rs : info -> Format.formatter -> Expr.rsymbol -> unitval check_type_in_drv : info -> Ident.ident -> unit