let
mk_custom_text_string_param (a :
'
a string_param) : string string_param =
Obj
.magic a