Packages

p

info.kwarc.mmt.odk

Singular

package Singular

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class Plugin extends Extension
  2. case class SingularFile(name: String, content: List[SingularFunction]) extends Product with Serializable
  3. case class SingularFunction(name: String, arguments: List[String], is_global: Boolean, docstring: String, got: Option[String]) extends Product with Serializable
  4. class SingularImporter extends Importer
  5. class SingularSystem extends VREWithAlignmentAndSCSCP

Value Members

  1. object Singular
  2. object SingularTranslations

Ungrouped