0207c63837fe — Chris Cannam 6 months ago
Add SV
1 files changed, 1 insertions(+), 0 deletions(-)

M log.sig
M log.sig +1 -0
@@ 157,6 157,7 @@ signature LOG = sig
     val B : bool -> string
     val S : string -> string
     val SL : string list -> string
+    val SV : string vector -> string
     val RV : RealVector.vector -> string
     val RA : RealArray.array -> string
     val NV : RealVector.vector -> string