Function chalk_integration::lowering::lower_goal
source ยท pub fn lower_goal(
goal: &Goal,
program: &Program,
) -> Result<Goal<ChalkIr>, RustIrError>
pub fn lower_goal(
goal: &Goal,
program: &Program,
) -> Result<Goal<ChalkIr>, RustIrError>