Skip to main content
program_has_epistemic_literals
xlog
0.12.0
xlog
Function
program_
has_
epistemic_
literals
Copy item path
Source
pub(crate) fn program_has_epistemic_literals(program: &
Program
) ->
bool