sig
  val split_str : pred:(char -> bool) -> string -> string list
  val may : ('a -> 'b) -> 'a option -> 'b option
  val maycons : ('a -> 'b) -> 'a option -> 'b list -> 'b list
end