module Anons : sig ... endmodule Num_occurrences : sig ... endmodule Flag_info : sig ... endmodule Base_info : sig ... endmodule Group_info : sig ... endmodule Exec_info : sig ... endmodule Fully_forced : sig ... endFully forced shapes are comparable and serializable.
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
val fully_forced : t -> Fully_forced.tval get_summary : t -> Base.String.t
module Sexpable : sig ... end