%kata T11_Oracle_And 

operation Oracle_And (queryRegister : Qubit[], target : Qubit) : Unit is Adj {
    // ...
}

%kata T12_Oracle_Or 

operation Oracle_Or (queryRegister : Qubit[], target : Qubit) : Unit is Adj {
    // ...
}

%kata T13_Oracle_Xor 

operation Oracle_Xor (queryRegister : Qubit[], target : Qubit) : Unit is Adj {
    // ...
}

%kata T14_Oracle_AlternatingBits 

operation Oracle_AlternatingBits (queryRegister : Qubit[], target : Qubit) : Unit is Adj {
    // ...
}

%kata T15_Oracle_SATClause 

operation Oracle_SATClause (queryRegister : Qubit[], target : Qubit, clause : (Int, Bool)[]) : Unit is Adj {
    // ...
}

%kata T16_Oracle_SAT 

operation Oracle_SAT (queryRegister : Qubit[], target : Qubit, problem : (Int, Bool)[][]) : Unit is Adj {
    // ...
}

%kata T21_Oracle_Exactly1One 

operation Oracle_Exactly1One (queryRegister : Qubit[], target : Qubit) : Unit is Adj {
    // ...
}

%kata T22_Oracle_Exactly1SAT 

operation Oracle_Exactly1_3SAT (queryRegister : Qubit[], target : Qubit, problem : (Int, Bool)[][]) : Unit is Adj {
    // ...
}

operation Run_GroversSearch_Algorithm () : Unit {
    // ...
}

%simulate Run_GroversSearch_Algorithm

%kata T32_UniversalGroversAlgorithm 

operation UniversalGroversAlgorithm (N : Int, oracle : ((Qubit[], Qubit) => Unit is Adj)) : Bool[] {
    // ...
    return [false, size = N];
}