extract_integer
cryptic_
tui
0.1.0
In cryptic_
tui::
erlang
cryptic_tui
::
erlang
Function
extract_
integer
Copy item path
Source
fn extract_integer(term: &Term) ->
Result
<
i64
>
Expand description
Extract an integer from a term