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