sig
  type 'a t =
      'a -> Common_types.view -> Dvm_types.TransitionTypes.cont -> unit
end