Poly (soteria-rust.Soteria_rust_lib.State.StateM.Make.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