val save_desc : copy_scope -> Types.type_expr -> Types.type_desc -> unit
val dup_kind : copy_scope -> Types.field_kind option Stdlib.ref -> unit
val with_scope : (copy_scope -> 'a) -> 'a
Btype.For_copy
val save_desc : copy_scope -> Types.type_expr -> Types.type_desc -> unit
val dup_kind : copy_scope -> Types.field_kind option Stdlib.ref -> unit
val with_scope : (copy_scope -> 'a) -> 'a