Parameter Make.Key_info

type 'a t