package baguette_sharp

  1. Overview
  2. Docs

The Array Manipulation Module of the B# STD

val two_argument_func : ('a -> 'b -> Parser.parameters) -> 'c list -> Parser.parameters

A generic function to extract two parameters from the list and apply a function

val create_list : int -> 'a -> 'b list -> 'b list

Creates a list containing n times the element default

Takes an array and an integer and returns tbl.(n)

Takes an array, an integer and an element and performs tbl.(n) <- rp

Populate the tbl with times default

Create an array of size n populated by default

Create a matrix of size n p populated by default

Creates the access function

val create_array : Parser.parameters list -> Parser.parameters

Creates the create function

val replace : Parser.parameters list -> Parser.parameters

Creates the replace function

val populate : Parser.parameters list -> Parser.parameters

Creates the populate function

val create_matrix : Parser.parameters list -> Parser.parameters

Create the create_matrix function

val display_array : Parser.parameters list -> Parser.parameters

Transform an array into a string