module Cryptography.ComputationalProblems.Games.DistinctionProblems.Terms where

import           Notes

makeDefs
    [ "deterministic distinction problem"
    , "probabilistic distinction problem"
    , "distinction problem"
    , "deterministic distinguisher"
    , "probabilistic distinguisher"
    , "distinguisher"
    , "deterministic distinction game"
    , "distinction game"
    ]


