Module Model.Hidden

type t =
  1. | T : {
    1. model : 'm;
    2. info : 'm t;
    } -> t
include Ppx_compare_lib.Equal.S with type t := t
val equal : t -> t -> bool
val sexp_of_t : t -> Sexplib0.Sexp.t
val create : 'a t -> 'a -> t
val lazy_ : t option t