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