Skip to main content
lean_type
logicaffeine_
cli
0.11.0
In logicaffeine_
cli::
interface::
lean
logicaffeine_cli
::
interface
::
lean
Function
lean_
type
Copy item path
Source
pub fn lean_type(ctx: &
Context
, t: &
Term
) ->
Result
<
Term
,
Verdict
>