Structure Parmap

Source File	Identifier index	Theory binding index

signature Parmap =
sig

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

end

Source File	Identifier index	Theory binding index