Internal_for_tests (mavkit-libs.Mavkit_bls12_381_polynomial.Internal_for

module Polynomial_unsafe : 
  Polynomial.Polynomial_unsafe_sig with type scalar = scalar

module Fr_carray : sig ... end

module Domain_unsafe : Domain.Domain_unsafe_sig with type scalar = scalar

module Evaluations_unsafe : 
  Evaluations.Evaluations_unsafe_sig
    with type scalar = scalar
     and type domain = Domain_unsafe.t
     and type polynomial = Polynomial_unsafe.t