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