let
string_of_kind =
fun
ty
->
List
.assoc ty kind_string_assoc