Dotty Documentation

0.7.0-bin-SNAPSHOT

object FreshNameCreator
extends Object

[-] Constructors

[-] Members

[+] class Default