Module Flow_ast.Type

module Conditional : sig ... end
module Infer : sig ... end
module Function : sig ... end
module Component : 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 Keyof : sig ... end
module Renders : sig ... end
module ReadOnly : 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 {
    1. raw : [ `Boolean | `Bool ];
    2. comments : ('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. | Component of ('M, 'T) Component.t
  15. | Object of ('M, 'T) Object.t
  16. | Interface of ('M, 'T) Interface.t
  17. | Array of ('M, 'T) Array.t
  18. | Conditional of ('M, 'T) Conditional.t
  19. | Infer of ('M, 'T) Infer.t
  20. | Generic of ('M, 'T) Generic.t
  21. | IndexedAccess of ('M, 'T) IndexedAccess.t
  22. | OptionalIndexedAccess of ('M, 'T) OptionalIndexedAccess.t
  23. | Union of ('M, 'T) Union.t
  24. | Intersection of ('M, 'T) Intersection.t
  25. | Typeof of ('M, 'T) Typeof.t
  26. | Keyof of ('M, 'T) Keyof.t
  27. | Renders of ('M, 'T) Renders.t
  28. | ReadOnly of ('M, 'T) ReadOnly.t
  29. | Tuple of ('M, 'T) Tuple.t
  30. | StringLiteral of 'M StringLiteral.t
  31. | NumberLiteral of 'M NumberLiteral.t
  32. | BigIntLiteral of 'M BigIntLiteral.t
  33. | BooleanLiteral of 'M BooleanLiteral.t
  34. | Unknown of ('M, unit) Syntax.t option
  35. | Never of ('M, unit) Syntax.t option
  36. | Undefined of ('M, unit) Syntax.t option
and ('M, 'T) annotation = 'M * ('M, 'T) t
and ('M, 'T) type_guard_annotation = 'M * ('M, 'T) Type.TypeGuard.t
and ('M, 'T) annotation_or_hint =
  1. | Missing of 'T
  2. | Available of ('M, 'T) annotation
and ('M, 'T) component_renders_annotation =
  1. | MissingRenders of 'T
  2. | AvailableRenders of 'M * ('M, 'T) Renders.t
module TypeParam : sig ... end
module TypeParams : sig ... end
module TypeArgs : sig ... end
module Predicate : sig ... end
module TypeGuard : sig ... end