Annot
type call =
| Tail
| Stack
| Inline
type ident =
| Iref_internal of Location.t
| Iref_external
| Idef of Location.t