Digodoc_lib.Objinfo
val read : Type.state -> string -> Type.comp_unit list
val print : Type.comp_unit -> unit