Module Bonsai_types.Packed

type 'model model_info = {
default : 'model;
equal : 'model -> 'model -> bool;
type_id : 'model Core_kernel.Type_equal.Id.t;
sexp_of : 'model -> Core_kernel.Sexp.t;
of_sexp : Core_kernel.Sexp.t -> 'model;
}
val unit_model_info : unit model_info
val both_model_infos : 'a model_info -> 'b model_info -> ('a * 'b) model_info
type ('input, 'result, 'incr, 'event) t =
| T : {
unpacked : ('input'model'action'result'incr'event) unpacked;
action_type_id : 'action Core_kernel.Type_equal.Id.t;
model : 'model model_info;
} -> ('input'result'incr'event) t