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>