Package-level declarations

Types

Link copied to clipboard
class GRTDomain<T : GRT> : Domain<T>

A Domain that models GRT values

Link copied to clipboard
object JsonDomain

A mapping Domain that converts between json-formatted Strings describing object values and IR.Value.Objects