SID.ID
type t =
| Builtin of (module ID_sig.BUILTIN)
| UserDefined of InductiveDefinition.t
val name : t -> string
val show : t -> string
val to_def : t -> InductiveDefinition.t