Module DNNRC

Section DNNRC.

  Require Import Utils BasicSystem.

  Require Import DNNRCBase.
  Require Import Dataframe.

  Context {fruntime:foreign_runtime}.
  Context {ftype: ForeignType.foreign_type}.

  Definition dnnrc_dataframe := @dnnrc _ unit dataframe.

End DNNRC.