Typecore.Datatype_kind
type t =
| Record
| Variant
val type_name : t -> string
val label_name : t -> string