Poly (soteria-rust.Soteria_rust

val push_generics : 
  params:Charon.Types.generic_params ->
  args:Charon.Types.generic_args ->
  'a t ->
  'a t

val subst : (Charon.Substitute.subst -> 'a -> 'b) -> 'a -> 'b t

val subst_ty : Charon.Types.ty -> Charon.Types.ty t

val subst_tys : Charon.Types.ty list -> Charon.Types.ty list t

val subst_tref : Charon.Types.trait_ref -> Charon.Types.trait_ref t

val subst_constant_expr : 
  Charon.Types.constant_expr ->
  Charon.Types.constant_expr t

val fill_params : Charon.Types.generic_params -> Charon.Types.generic_args t

val get_layout : TypeMap.key -> Layout_common.t option t

val push_layout : TypeMap.key -> Layout_common.t -> unit t