Skip to main content
default_free_var
dada_
ir_
sym
0.1.0
In dada_
ir_
sym::
ir::
subst
dada_ir_sym
::
ir
::
subst
Function
default_
free_
var
Copy item path
Source
pub fn default_free_var<Term>(_:
SymVariable
<'_>) ->
Option
<Term>