(*
 * Copyright (c) Meta Platforms, Inc. and affiliates.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 *)

module type S = sig
  type state

  type callback =
    use_op:Type.use_op -> name_loc:ALoc.t -> string -> Type.t Default.t option -> Type.t -> Type.t

  val empty :
    ?init:(ALoc.t, ALoc.t) Flow_ast.Expression.t ->
    ?default:Type.t Default.t ->
    annot:bool ->
    Type.t ->
    state

  val pattern :
    Context.t ->
    f:callback ->
    state ->
    (ALoc.t, ALoc.t) Flow_ast.Pattern.t ->
    (ALoc.t, ALoc.t * Type.t) Flow_ast.Pattern.t

  val array_elements :
    Context.t ->
    f:callback ->
    state ->
    (ALoc.t, ALoc.t) Flow_ast.Pattern.Array.element list ->
    (ALoc.t, ALoc.t * Type.t) Flow_ast.Pattern.Array.element list

  val object_properties :
    Context.t ->
    f:callback ->
    parent_loc:ALoc.t ->
    state ->
    (ALoc.t, ALoc.t) Flow_ast.Pattern.Object.property list ->
    (ALoc.t, ALoc.t * Type.t) Flow_ast.Pattern.Object.property list

  val type_of_pattern :
    'a * (ALoc.t, ALoc.t) Flow_ast.Pattern.t' -> (ALoc.t, ALoc.t) Flow_ast.Type.annotation_or_hint

  val assignment :
    Context.t ->
    Type.t ->
    (ALoc.t, ALoc.t) Flow_ast.Expression.t ->
    (ALoc.t, ALoc.t) Flow_ast.Pattern.t ->
    (ALoc.t, ALoc.t * Type.t) Flow_ast.Pattern.t
end
