lean / keywords
132 entries at this level
- añadir_decl_doc add_decl_doc
- todo all
- y and
- arreglo Array
- afirmar assert
- afirmar_no_existir assert_not_exists
- afirmar_no_importar assert_not_imported
- asíncrono async
- atribuir attribute
- comportamiento behavior
- agavilladora_predicado binder_predicate
- booleano Bool
- quebrar break
- builtin builtin_initialize
- por by
- capturar catch
- carácter Char
- clase class
- comparar compare
- continuar continue
- dbg_trazar dbg_trace
- declarar_sintaxis_gato declare_syntax_cat
- decreasing_por decreasing_by
- valor_predeterminado_instancia default_instance
- dependiente dependent
- módulo deprecated_module
- sintaxis deprecated_syntax
- hacer do
- doc_a_dorso docs_to_verso
- elab_regla elab_rules
- sino else
- final end
- final_local_alcance end_local_scope
- épsilon epsilon
- igual Eq
- error
- ejemplo example
- exportación export
- exponer expose
- ampliar extends
- fallar failure
- falso false
- finalmente finally
- flotante Float
- para for
- desde from
- diversión fun
- índice get
- mapa HashMap
- conjunto HashSet
- tener have
- ocultar hiding
- identificador identifier
- si if
- importar import
- en in
- incluir include
- instancia instance
- entero Int
- inválido invalid
- recuerdo keyword_tokens
- principal_escrutador leading_parser
- longitud length
- dejar let
- dejar_retraso let_delayed
- dejar_expr let_expr
- dejar_diversión let_fun
- dejar_tmp let_tmp
- lista List
- regla macro_rules
- emparejar match
- emparejar_expr match_expr
- máximo max
- mínimo min
- módulo mod
- módulo module
- nombrar name
- no_índice no_index
- nulo none
- anotación notation
- omitir omit
- opaco opaque
- abierto open
- o or
- escrutador parser
- parcial partial
- parcial_fixpoint partial_fixpoint
- sufijo postfix
- privado private
- tupla Prod
- público public
- recomendable recommended_spelling
- registro_error_explicación register_error_explanation
- registro_escrutador register_parser_alias
- registro_tactic_etiqueta register_tactic_tag
- repetir repeat
- vuelta return
- alcance scoped
- sección section
- conjunto_opción set_option
- mostrar show
- mostrar_término_elab show_term_elab
- tamaño size
- saltarse skip
- especializar specialize
- cadena String
- estructural structural
- estructura structure
- símbolo symbol
- sintaxis syntax
- tactic_extensión tactic_extension
- tactic_nombrar tactic_name
- tactic_etiqueta tactic_tag
- etiqueta tags
- tarea Task
- término term
- terminación_por termination_by
- entonces then
- lanzar throw
- recuerdo token
- escrutador trailing_parser
- verdadero true
- intentar try
- byte UInt8
- vacío Unit
- desconocido unknown
- abrir_limitar unlock_limits
- inseguro unsafe
- válido valid
- mientras while
- con with
- con_débil with_weak_namespace