\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+IFDEF OBJECTS THEN
+
type och = string -> unit
type attr = string * string
val export_entity: ('term -> pp) -> 'term Entity.entity -> unit
-val export_csys: Ccs.csys -> unit
-
val tag: string -> attr list -> ?contents:pp -> pp
val sort: string
val position: int -> attr
-val offset: int -> attr
+val depth: int -> attr
val uri: Entity.uri -> attr
-val arity: ?n:int -> 'a list -> attr
+val restricted: bool -> attr
+
+val layer: Layer.status -> Layer.layer -> attr
+
+val name: Entity.bind_attrs -> attr
-val level: Level.level -> attr
+val main: Entity.arity -> attr list
-val name: Entity.attrs -> attr
+val side: Entity.arity -> attr list
-val apix: Entity.attrs -> attr
+val apix: Entity.node_attrs -> attr
-val mark: Entity.attrs -> attr
+val meta: Entity.root_attrs -> attr
-val meta: Entity.attrs -> attr
+val info: Entity.root_attrs -> attr list
-val info: Entity.attrs -> attr list
+END