Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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
Creates a list containing n times the element default
val proto_access : Parser.parameters -> Parser.parameters -> Parser.parameters
Takes an array and an integer and returns tbl.(n)
val proto_replace :
Parser.parameters ->
Parser.parameters ->
Parser.parameters ->
Parser.parameters
Takes an array, an integer and an element and performs tbl.(n) <- rp
val proto_populate :
Parser.parameters ->
Parser.parameters ->
Parser.parameters ->
Parser.parameters
Populate the tbl with times default
val proto_create_array :
Parser.parameters ->
Parser.parameters ->
Parser.parameters
Create an array of size n populated by default
val proto_create_matrix :
Parser.parameters ->
Parser.parameters ->
Parser.parameters ->
Parser.parameters
Create a matrix of size n p populated by default
val access : Parser.parameters list -> Parser.parameters
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