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