typeside typeside_literal

----------------------------------
typeside (literal {
})

A typeside literal: a multi-sorted equational theory. See All_Syntax for an example. Note that class names in javascript should be fully qualified.

Appears in:

Aggregation
All_Syntax
CQL_def
Compose
Constraints
Dataversity
Delta
Demo
Denormalize
Employees
FOAF
FinanceColim1
Inverse
Joinless
KB
LambdaConf
Meta
NewDemo
NewDemoPsuedo
OuterJoin
PointsTo
Pullback
Pushout
Query
RExt
Sigma
Tutorial
UnitConv
vsSQL1
vsSQL2
vsSQL3

Options:

allow_empty_sorts_unsafe
allow_java_eqs_unsafe
always_reload
completion_compose
completion_filter_subsumed
completion_precedence
completion_sort
completion_syntactic_ac
completion_unfailing
dont_verify_is_appropriate_for_prover_unsafe
e_path
e_use_auto
graal_language
maedmax_path
num_threads
program_allow_nonconfluence_unsafe
program_allow_nontermination_unsafe
prover
prover_simplify_max
second_prover
talg_reduction
timeout
triviality_check_best_effort
vampire_path