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