lean / keywords
60 entries at this level
- ampio_decl_doc add_decl_doc
- rehetra all
- sy and
- lisitra Array
- marihina assert
- assert_tsy_exists assert_not_exists
- assert_tsy_imported assert_not_imported
- asinkrona async
- boolean Bool
- tapaho break
- amin by
- azo catch
- litera Char
- ampitahao compare
- tohizo continue
- decreasing_amin decreasing_by
- ataovy do
- docs_ho_verso docs_to_verso
- farany end
- farany_local_scope end_local_scope
- mitovy Eq
- diso error
- tsynahomby failure
- diso false
- farany finally
- float Float
- avy from
- laharana get
- tabilao HashMap
- angona HashSet
- raha if
- ao in
- int Int
- tsy manan-kery invalid
- halavana length
- lisitra List
- betsaka max
- vitsy min
- ambiny mod
- anarana name
- tsia_index no_index
- poakaty none
- sokafy open
- na or
- vondrona Prod
- register_hadisoana_explanation register_error_explanation
- avereno return
- habetsaka size
- taratra String
- tactic_anarana tactic_name
- asa Task
- termination_amin termination_by
- alefa throw
- marina true
- andramo try
- byte UInt8
- tsinona Unit
- manan-kery valid
- miaraka with
- miaraka_weak_namespace with_weak_namespace