munge

crucible::cryptol

Function munge 

Source 
pub fn munge<T>(x: T) -> T
Expand description

Convert all what4 expressions within x to saw-core and back. The resulting expressions will be equivalent but not necessarily identical.