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