type pp = och -> int -> unit
val export_entity:
- ('term -> pp) ->
- bool -> Hierarchy.graph -> 'term Entity.entity -> unit
+ ('term -> pp) -> bool -> string -> 'term Entity.entity -> unit
val tag: string -> attr list -> ?contents:pp -> pp
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