import type { DetailedHTMLProps, HTMLAttributes, WeakValidationMap } from "react"; import type ReactElementProps from "../../types/react-element-properties/react-element-properties"; export type PyTerminalPropertiesBase = Omit, HTMLElement>>, "children"> & { auto?: boolean; }; export type PyTerminalProperties = OptionalProperties extends infer OptionalProperties ? OptionalProperties & PyTerminalPropertiesBase : PyTerminalPropertiesBase; export type PyTerminalProps = PyTerminalProperties; export type PyTerminalTag = { (properties: PyTerminalProperties): JSX.Element; displayName?: string; defaultProps?: Partial; propTypes?: WeakValidationMap; };