(*
    ||M||  This file is part of HELM, an Hypertextual, Electronic        
    ||A||  Library of Mathematics, developed at the Computer Science     
    ||T||  Department, University of Bologna, Italy.                     
    ||I||                                                                
    ||T||  HELM is free software; you can redistribute it and/or         
    ||A||  modify it under the terms of the GNU General Public License   
    \   /  version 2 or (at your option) any later version.              
     \ /   This software is distributed as is, NO WARRANTY.              
      V_______________________________________________________________ *)

type och = string -> unit

type attr = string * string

type 'a pp = (och -> int -> 'a) -> och -> int -> 'a

val export_entity:
   (unit ->'a) -> ('term -> 'a pp) -> 
   bool -> Hierarchy.graph -> 'term Entity.entity -> 'a

val tag: string -> attr list -> ?contents:'a pp -> 'a pp 

val sort: string

val lref: string

val gref: string

val cast: string

val appl: string

val proj: string

val abst: string

val abbr: string

val void: string

val position: int -> attr

val offset: int -> attr

val uri: Entity.uri -> attr

val arity: int -> attr

val name: Entity.attrs -> attr

val mark: Entity.attrs -> attr

val old_export_entity:
   (Format.formatter -> 'term -> unit) -> 
   bool -> Hierarchy.graph -> 'term Entity.entity -> unit

val old_name: Format.formatter -> Entity.attrs -> unit