Util_twine.Str_mapval to_twine :
'a Twine.Encode.encoder ->
Twine.Encode.t ->
'b Imandrakit_common.Str_map.t ->
Twine.Encode.immediateval of_twine :
'a Twine.Decode.decoder ->
Twine.Decode.t ->
int ->
'b Imandrakit_common.Str_map.t