Module Flow_ast.Type

module Function : sig ... end
module Generic : sig ... end
module IndexedAccess : sig ... end
module OptionalIndexedAccess : sig ... end
module Object : sig ... end
module Interface : sig ... end
module Nullable : sig ... end
module Typeof : sig ... end
module Tuple : sig ... end
module Array : sig ... end
module Union : sig ... end
module Intersection : sig ... end
type ('M, 'T) t = 'T * ('M, 'T) t'
and ('M, 'T) t' =
  1. | Any of ('M, unit) Syntax.t option
  2. | Mixed of ('M, unit) Syntax.t option
  3. | Empty of ('M, unit) Syntax.t option
  4. | Void of ('M, unit) Syntax.t option
  5. | Null of ('M, unit) Syntax.t option
  6. | Number of ('M, unit) Syntax.t option
  7. | BigInt of ('M, unit) Syntax.t option
  8. | String of ('M, unit) Syntax.t option
  9. | Boolean of ('M, unit) Syntax.t option
  10. | Symbol of ('M, unit) Syntax.t option
  11. | Exists of ('M, unit) Syntax.t option
  12. | Nullable of ('M, 'T) Nullable.t
  13. | Function of ('M, 'T) Function.t
  14. | Object of ('M, 'T) Object.t
  15. | Interface of ('M, 'T) Interface.t
  16. | Array of ('M, 'T) Array.t
  17. | Generic of ('M, 'T) Generic.t
  18. | IndexedAccess of ('M, 'T) IndexedAccess.t
  19. | OptionalIndexedAccess of ('M, 'T) OptionalIndexedAccess.t
  20. | Union of ('M, 'T) Union.t
  21. | Intersection of ('M, 'T) Intersection.t
  22. | Typeof of ('M, 'T) Typeof.t
  23. | Tuple of ('M, 'T) Tuple.t
  24. | StringLiteral of 'M StringLiteral.t
  25. | NumberLiteral of 'M NumberLiteral.t
  26. | BigIntLiteral of 'M BigIntLiteral.t
  27. | BooleanLiteral of 'M BooleanLiteral.t
and ('M, 'T) annotation = 'M * ('M, 'T) t
and ('M, 'T) annotation_or_hint =
  1. | Missing of 'T
  2. | Available of ('M, 'T) annotation
module TypeParam : sig ... end
module TypeParams : sig ... end
module TypeArgs : sig ... end
module Predicate : sig ... end