Packages

o

provingground.HoTT

DefaultNameFactory

implicit object DefaultNameFactory extends NameFactory

factory for variable names

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DefaultNameFactory
  2. NameFactory
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def get: Name
    Definition Classes
    DefaultNameFactoryNameFactory
  2. var name: String