Module Qcert.SparkDF.Lang.SparkDF


Require Import String.

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

Generated by coq2html