• Jacques-Henri Jourdan's avatar
    Fix Open/Close scope · a64bf2f0
    Jacques-Henri Jourdan authored
    Use Open/Close Scope without Local (i.e., export the scope opening)
    only when the scope corresponds to the main purpose of the module.
    a64bf2f0
countable.v 11.5 KB