type t
val t : t typ
val handle : (t, string) field
val prefix : (t, string) field