Dotty Documentation

0.9.0-bin-SNAPSHOT

@sharable object EmptyTermRefSet
extends TermRefSet

[-] Constructors

[-] Members