Module Qcert.SparkDF.Lang.SparkDF


Section SparkDF.
  Require Import String.

Spark (Dataframe API) programs are in serialized form
  Definition spark_df := string.
  
End SparkDF.