(** This module type-checks potential accesses to capabilities of objects in async
    expressions *)

open Desugaring.Desugared_ast

val type_async_capabilities_expr : class_defn list -> expr -> expr
val type_async_capabilities_block_expr : class_defn list -> block_expr -> block_expr

* This module type-checks potential accesses to capabilities of objects in async
    expressions 

open Desugaring.Desugared_ast

val type_async_capabilities_expr : class_defn list -> expr -> expr
val type_async_capabilities_block_expr : class_defn list -> block_expr -> block_expr
