module Flag_info : sig ... endmodule Base_info : sig ... endmodule Group_info : sig ... endmodule Exec_info : sig ... endtype 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 := tFully forced shapes are comparable and serializable.