import Lake
open Lake DSL

package deprecated_arg
@[default_target] lean_lib DeprecatedArg