Module PulseOperations.ModeledField

val string_length : IR.Fieldname.t

Modeled field for string length

val internal_string : IR.Fieldname.t

Modeled field for internal string

val internal_ref_count : IR.Fieldname.t

Modeled field for reference_counting

val delegated_release : IR.Fieldname.t

Modeled field for resource release delegation