term.mli

type pnterm =
  | PNVarName of string
  | PNArrow of pnterm * pnterm
  | PNOr of pnterm * pnterm
  | PNAnd of pnterm * pnterm
  | PNTop
  | PNBot

val pp_print_pnterm : Format.formatter -> pnterm -> unit


type pterm =
  | PVar of int
  | PArrow of pterm * pterm
  | POr of pterm * pterm
  | PAnd of pterm * pterm
  | PTop
  | PBot

type name_env = {
  mutable maxvar : int;
  dict : (string, int) Hashtbl.t;
  reverse_dict : (int, string) Hashtbl.t;
}

val new_name_env : unit -> name_env
val empty_env : name_env

val convert_name : pnterm -> pterm * name_env

val pp_print_pterm : name_env -> Format.formatter -> pterm -> unit
val pp_print_pterm_latex_internal :
  name_env -> int -> Format.formatter -> pterm -> unit
val pp_print_pterm_latex :
  name_env -> int -> Format.formatter -> pterm -> unit