Skip to main content
codegen_term
logicaffeine_
compile
0.10.0
In logicaffeine_
compile::
codegen
logicaffeine_compile
::
codegen
Function
codegen_
term
Copy item path
Source
pub fn codegen_term(term: &
Term
<'_>, interner: &
Interner
) ->
String