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 __proj__Mkt__item__domain : ('key, 'value) t -> 'key FStar_Set.set

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

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

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

val domain : ('key, 'value) t -> 'key FStar_Set.set

val contains : ('key, 'value) t -> 'key -> Prims.bool

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

val map_val : 
  ('uuuuu -> 'uuuuu1) ->
  Prims.unit ->
  (Obj.t, 'uuuuu) t ->
  (Obj.t, 'uuuuu1) t

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

val const_on : 'key FStar_Set.set -> 'value -> ('key, 'value) t

val map_literal : ('k -> 'v) -> ('k, 'v) t

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

type ('key, 'value, 'm, 'dom) has_dom = Prims.unit

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