sig
  val doc :
    ctxt:OASISContext.t ->
    ((ctxt:OASISContext.t ->
      OASISTypes.package ->
      OASISTypes.common_section * OASISTypes.doc ->
      OASISTypes.arg array -> unit) *
     OASISTypes.common_section * OASISTypes.doc)
    list -> OASISTypes.package -> OASISTypes.arg array -> unit
end