package bonsai

The easiest way to define extension_constructor is to use the built-in extension node:

type ('input, 'model, 'action, 'result, 'incr, 'event) unpacked +=
  | C : foo -> (_, _, _, _, _, _) unpacked

let extension_constructor = [%extension_constructor C]

Only needs to handle the case(s) defined in this module.

Only needs to handle the case(s) defined in this module.

An implementation of visit only needs to handle the cases defined in this module.

The implementation of visit should call visit_ext on any subcomponents contained in the constructor. With the new subcomponents returned by visit_ext, the implementation should re-construct itself, and call visit on this new value.