module Flag_info : sig ... end
module Base_info : sig ... end
module Group_info : sig ... end
module Exec_info : sig ... end
type t
=
|
Basic of Base_info.t
Group of t Group_info.t
Exec of Exec_info.t * unit ‑> t
module Fully_forced : sig ... end with type shape := t
Fully forced shapes are comparable and serializable.