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