triz_trim_rewrite
Apply a trim to a function model and return explicit deletion/gluing data with declared absorbers, interface, and checked replay.
Instructions
Return an applied trim as explicit deletion/gluing data with its declared absorbers, interface, and checked replay. No Kan-extension claim is made.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| trim | Yes | ||
| model | Yes | ||
| absorb | No |