Precomputed
include module type of Kimchi_backend.Pasta.Precomputed
module Lagrange_precomputations = Kimchi_pasta.Precomputed.Lagrange_precomputations