Qcert.Backend.ForeignToSpark

Section ForeigntoSpark.

  Class foreign_to_spark
        {fruntime:foreign_runtime}
        {fredop:foreign_reduce_op} : Type
  := mk_foreign_to_spark {
         foreign_to_spark_reduce_op
           (rop:foreign_reduce_op_type)
           (scala_endl quotel:string) : string
         ; foreign_to_spark_prepare_nnrcmr :
             nnrcmr → nnrcmr
       }.

End ForeigntoSpark.