option timeout

Default: 30
Causes execution to halt after number seconds.

Keyword:

unit
sql
exec_cmdline
fromCoSpan
colimit
delta
apg_schema_coproduct
pivot
apg_schema_literal
chase
coproduct
toCoQuery
distinct_return
export_jdbc_transform
export_csv_instance
transform_compose
coequalize
pi
except
coequalize
unit
toQuery
query_literal
counit_query
query_compose
fst
equalize
import_jdbc_all
except
apg_mapping_literal
anonymize
cascade_delete
dom_m
simple
empty
empty
eval
mapping_identity
typeside_literal
modify
inl
equalize
frozen
pivot
pivot
import_jdbc_all
transform_identity
import_csv
coeval
sigma
eval
match
apg_instance_literal
constraints_literal
fromConstraints
except_return
export_jdbc_query
transform_literal
snd
sigma
coequalize
check_query
cod_t
schemaOf
export_jdbc_instance
mapping_literal
empty
exec_js
apg_typeside_literal
check
typesideOf
query_identity
pi
frozen
coequalize_u
export_csv_transform
import_jdbc
empty
unit
apg_instance_product
apg_morphism_product
random
wrap
schema_literal
import_jdbc
apg_morphism_literal
import_csv
dom_q
cod_m
distinct
dom_t
apg_morphism_identity
sigma_chase
getMapping
getSchema
equalize_u
inr
mapping_compose
quotient_query
distinct
apg_morphism_coproduct
delta
delta
delta
cod_q
apg_schema_product
counit
apg_instance_coproduct
schema_colimit_literal
unit_query
apg_morphism_compose
graph_literal
coeval
instance_literal
exec_jdbc
coproduct
empty

Appears in:

All_Syntax
KB