Util_twine.Vecval vec_to_twine :
(Twine.Encode.t -> 'a -> Twine.Encode.immediate) ->
'b Imandrakit_common.Vec.vector Twine.Encode.encoderval vec_of_twine :
(Twine.Decode.t -> int -> 'a) ->
'b Imandrakit_common.Vec.vector Twine.Decode.decoder