(*
 Sukyoung Ryu

 Copyright(c) 2000-2004 KAIST/SNU Research On Program Analysis System
 (National Creative Research Initiative Center 1998-2003)
 http://ropas.snu.ac.kr/n

 All rights reserved. This file is distributed under the terms of
 an Open Source License.
*)

type node = {greater: string list; less: string list}
module SM = Map.Make(struct type t = string let compare = compare end)
let size_SM sm = SM.fold (fun _ _ i -> i+1) sm 0