Module Qcert.SparkRDD.Lang.SparkRDD


Section SparkRDD.
  Require Import String.

Spark (RDD API) programs are in serialized form
  Definition spark_rdd := string.
  
End SparkRDD.