package gospel

  1. Overview
  2. Docs
package gospel
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Gospelstdlib.Map

Maps from keys of type 'a to values of type 'b are represented by Gospel functions of type 'a -> 'b.