Qcert.CldMR.Lang.ForeignCloudant

Section ForeignCloudant.

  Class foreign_cloudant
        {fruntime:foreign_runtime} : Type
    := mk_foreign_cloudant {
           cloudant_float_sum_op : unaryOp
           ; cloudant_float_min_op : unaryOp
           ; cloudant_float_max_op : unaryOp
       }.

End ForeignCloudant.