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