Module Command.Shape

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 * Base.Unit.t -> t
| Lazy of t Lazy.t
module Fully_forced : sig ... end with type Fully_forced.shape := t

Fully forced shapes are comparable and serializable.