signature Parmap =
sig

  val parmap : ('a -> 'b) -> 'a list -> 'b list

end