pub fn intr_annotation<'c>(
    context: &'c Context,
    res: Type<'c>,
    integer: Value<'c, '_>,
    annotation: Value<'c, '_>,
    file_name: Value<'c, '_>,
    line: Value<'c, '_>,
    location: Location<'c>
) -> AnnotationOperation<'c>
Expand description

Creates an intr.annotation operation.