package fstar

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type (!'key, !'value) t = {

}

val __proj__Mkt__item__mappings : 
  ('key, 'value) t ->
  ('key, 'value) FStar_FunctionalExtensionality.restricted_t

val create : ('key -> 'value) -> ('key, 'value) t

val sel : ('key, 'value) t -> 'key -> 'value

val upd : ('key, 'value) t -> 'key -> 'value -> ('key, 'value) t

type ('key, 'value, 'm1, 'm2) equal = Prims.unit

val restrict : ('key, 'value) t -> ('key, 'value) t

type ('key1, 'value1, 'key2, 'value2, 'k) concat_value = Obj.t

val concat_mappings : 
  ('key1 -> 'value1) ->
  ('key2 -> 'value2) ->
  ('key1, 'key2) FStar_Pervasives.either ->
  Obj.t

val concat : 
  ('key1, 'value1) t ->
  ('key2, 'value2) t ->
  (('key1, 'key2) FStar_Pervasives.either, Obj.t) t

type ('key1, !'value1, 'key2, 'ren, 'k) rename_value = 'value1

val rename : 
  ('key1, 'value1) t ->
  Prims.unit ->
  (Obj.t -> 'key1) ->
  (Obj.t, 'value1) t

val map : 
  ('key -> 'value1 -> 'value2) ->
  ('key, 'value1) t ->
  ('key, 'value2) t