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

val map2 : 
  ('a1 -> 'a2 -> 'b) ->
  'a1 Prims.list ->
  'a2 Prims.list ->
  'b Prims.list

val map3 : 
  ('a1 -> 'a2 -> 'a3 -> 'b) ->
  'a1 Prims.list ->
  'a2 Prims.list ->
  'a3 Prims.list ->
  'b Prims.list

val zip : 'a1 Prims.list -> 'a2 Prims.list -> ('a1 * 'a2) Prims.list

val zip3 : 
  'a1 Prims.list ->
  'a2 Prims.list ->
  'a3 Prims.list ->
  ('a1 * 'a2 * 'a3) Prims.list