1(* Misc -- top-level types and functions that ought to be in General *) 2 3type 'a array = 'a Array.array 4 5val o : ('b -> 'c) * ('a -> 'b) -> 'a -> 'c 6val before : 'a * unit -> 'a 7 8val chr : int -> char 9val ord : char -> int 10 11val explode : string -> char list 12val implode : char list -> string 13val str : char -> string 14val concat : string list -> string 15val substring : string * int * int -> string 16 17 18val vector : 'a list -> 'a vector 19 20val getOpt : 'a option * 'a -> 'a 21val isSome : 'a option -> bool 22val valOf : 'a option -> 'a 23 24exception Empty 25 26val @ : 'a list * 'a list -> 'a list 27val app : ('a -> unit) -> 'a list -> unit 28val foldl : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b 29val foldr : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b 30val hd : 'a list -> 'a (* Empty *) 31val length : 'a list -> int 32val map : ('a -> 'b) -> 'a list -> 'b list 33val null : 'a list -> bool 34val rev : 'a list -> 'a list 35val tl : 'a list -> 'a list (* Empty *) 36 37val print : string -> unit 38