The Biocaml Library : Biocaml_rSet.subset

let subset s t = is_empty (diff s t)

AltStyle によって変換されたページ (->オリジナル) /