Redirecting to
struct.codegen_fulfill_obligation.html
...