lean / keywords
81 entries at this level
- adicionar_decl_doc add_decl_doc
- todos all
- e and
- arranjo Array
- asserte assert
- afirmar_não_exists assert_not_exists
- afirmar_não_imported assert_not_imported
- assíncrono async
- booleano Bool
- interromper break
- por by
- capture catch
- caractere char
- char Char
- classe class
- comparar compare
- continuar continue
- declare_syntax_gato declare_syntax_cat
- decreasing_por decreasing_by
- padrão_instance default_instance
- deprecated_módulo deprecated_module
- fazer do
- docs_para_verso docs_to_verso
- senão else
- fim end
- fim_local_escopo end_local_scope
- igual Eq
- erro error
- exportar export
- estende extends
- falhe failure
- falso false
- finalmente finally
- float Float
- para for
- de from
- índice get
- mapa HashMap
- conjunto HashSet
- ter have
- se if
- importar import
- em in
- int Int
- inválido invalid
- comprimento length
- lista List
- corresponder match
- corresponder_expr match_expr
- máximo max
- mínimo min
- módulo mod
- módulo module
- nome name
- não_índice no_index
- nulo none
- abrir open
- ou or
- privado private
- tupla Prod
- público public
- register_erro_explanation register_error_explanation
- retornar return
- definir_option set_option
- mostrar show
- mostrar_term_elab show_term_elab
- tamanho size
- string String
- tactic_nome tactic_name
- tarefa Task
- termination_por termination_by
- lance throw
- verdadeiro true
- tente try
- byte UInt8
- vazio Unit
- válido valid
- variável variable
- enquanto while
- com with
- com_débil_namespace with_weak_namespace