Module StateM.Poly

val push_generics : params:Charon.Types.generic_params -> args:Charon.Types.generic_args -> ('a, 'env) t -> ('a, 'env) t
val fill_params : Charon.Types.generic_params -> (Charon.Types.generic_args, 'a) monad
val subst_ty : Charon.Types.ty -> (Charon.Types.ty, 'env) t
val subst_tys : Charon.Types.ty list -> (Charon.Types.ty list, 'env) t
val subst_tref : Charon.Types.trait_ref -> (Charon.Types.trait_ref, 'env) t
val subst_constant_expr : Charon.Types.constant_expr -> (Charon.Types.constant_expr, 'env) t