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 |
| Lazy of t Core__.Import.Lazy.t |
module Fully_forced : sig ... end with type shape := t
Fully forced shapes are comparable and serializable.