Module Qcert.CldMR.Lang.ForeignCloudant


Require Import List.
Require Import String.
Require Import Utils.
Require Import CommonRuntime.


Local Open Scope string_scope.

Section ForeignCloudant.

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

End ForeignCloudant.