Type.Objectmodule Property : sig ... endmodule SpreadProperty : sig ... endmodule Indexer : sig ... endmodule CallProperty : sig ... endmodule InternalSlot : sig ... endand ('M, 'T) property = | Property of ('M, 'T) Property.t| SpreadProperty of ('M, 'T) SpreadProperty.t| Indexer of ('M, 'T) Indexer.t| CallProperty of ('M, 'T) CallProperty.t| InternalSlot of ('M, 'T) InternalSlot.t