MonadicSVal.Infix
val (@:) : SVArray.t -> SVArray.t -> SVArray.t option
val (^:) : SVal.t -> SVArray.t -> SVArray.t option
val (^:?) : SVal.t -> SVArray.t option -> SVArray.t option