lilactown

module type Promise = {
  type t 'a;
  let then_: ('a => t 'b) => t 'a => t 'b;
  let resolve: 'a => t 'a;
  let all: array (t 'a) => t (array 'a);
  let race: array (t 'a) => t 'a;
  let make: (resolve::('a => unit) [@bs] => reject::(exn => unit) [@bs] => unit) => t 'a;
};

module Make (P: Promise) => {