セット（リストで表される）が別のセットのサブセットであるかどうかをチェックする関数を記述しようとしています。 私はすでに私の交差点を与えるヘルパー関数を書きました： let rec intersect_helper a b =
match a, b with
| [], _ -> []
| _, [] -> []
| ah :: at, bh :: bt -
私の新しいことをOCamlに許してください。しかし、私は2つのリストの交差を返す非常に単純な関数を持っていますが、同時に両方のリストに要素があるときだけです。 3行目では、「この式には 'a'型がありますが、式には 'a list'が期待されていますが、出力するリストではありません。 let rec intersection (l1 : 'a list) (l2 : 'a list) : 'a l
I（これは方法より簡単である可能性があるという事実を無視してください） type tKey = Key of int;;
type tBST = Null | Pos of node ref
and node = {mutable key : tKey;
mutable left : tBST;
mutable right : tBST};;
私は私