using:standard_lib

This is an old revision of the document!

Standard Library

Modules ''Naturals'', ''Integers'', ''Reals''

  • Nat, Int, Real
  • +, −, ∗, /, ^
  • <=, >=, >, <
  • ..
  • Infinity

Module ''Sequences''

  • \o
  • Head
  • SelectSeq
  • SubSeq
  • Append
  • Len
  • Seq
  • Tail

Module ''FiniteSets''

  • IsFiniteSet
  • Cardinality

Module ''Bags''

  • (+), (-)
  • BagIn
  • CopiesIn
  • SubBag
  • BagOfAll
  • EmptyBag
  • \sqsubseteq
  • BagToSet
  • IsABag
  • BagCardinality
  • BagUnion
  • SetToBag

Module ''RealTime''

  • RTBound
  • RTnow
  • now

Module ''TLC''

  • :>, @@
  • Print
  • Assert
  • JavaTime
  • Permutations
  • SortSeq
  • using/standard_lib.1728450750.txt.gz
  • Last modified: 2024/10/09 05:12
  • by notnotcalvin