Legend:
Library
Module
Module type
Parameter
Class
Class type
type copy_scope
val redirect_desc : copy_scope -> Types.type_expr -> Types.type_desc -> unit
val with_scope : ( copy_scope -> 'a ) -> 'a