+type flavour = Cic.object_flavour
+type name = string option
+type hyp = string
+type what = Cic.annterm
+type how = bool
+type using = Cic.annterm
+type count = int
+type note = string
+type where = (hyp * name) option
+type inferred = Cic.annterm
+type pattern = Cic.annterm
+type body = Cic.annterm option
+type types = Cic.anninductiveType list
+type lpsno = int