Type Definition automatic_relations::pattern::ConvolutedPattern

type ConvolutedPattern<F, X> = Term<Convoluted<MaybeVar<F, X>>>;