OCaml получает сумасшедшие о типах

Question

я объявил следующую функцию в интерфейсе

type t 
val empty : t 
val mem : int -> t -> bool 

Теперь я пытаюсь позвонить

open ISet 
open OUnit2 
open Printf 
open List 
(* ... *) 
let s = mem 8 empty 

Но то, что я получаю

This expression has type ISet.t but an expression was expected of type 
    int list 

Какого черта продолжается?? я даже явно определить типы в файле .ml

let mem (x : int) (set : t) = 
    let rec loop = function 
     | Node (l, k, r, _) -> 
      let c = cmp_val k x in 
      (contains k x) || loop (if c < 0 then l else r) 
     | Empty -> false in 
    loop set 

Answer 1

вы могли бы предоставить больше кода? t является абстрактным типом, поэтому я предполагаю, что вы должны его определить. Я подозреваю также, что mem не является правильным mem и указывает на List.mem.