package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val map : ('a -> 'a) -> 'a list -> 'a list

Smart.map f [a1...an] = List.map f [a1...an] but if for all i f ai == ai, then Smart.map f l == l