type pp = och -> int -> unit
-val export_entity:
- ('term -> pp) -> bool -> string -> 'term Entity.entity -> unit
+val export_entity: ('term -> pp) -> 'term Entity.entity -> unit
+
+val export_csys: Ccs.csys -> unit
val tag: string -> attr list -> ?contents:pp -> pp
val uri: Entity.uri -> attr
-val arity: int -> attr
+val arity: ?n:int -> 'a list -> attr
val level: Level.level -> attr