In this book, you will find a number of styles of text that distinguish between different kinds of information. Here are some examples of these styles, and an explanation of their meaning.
Code words in text, database table names, folder names, filenames, file extensions, pathnames, dummy URLs, user input, and Twitter handles are shown as follows: "We can include other contexts through the use of the
A block of code is set as follows:
// assert let dbCustomer = CustomerRepository.get customerID dbCustomer |> should equal newCustomer
When we wish to draw your attention to a particular part of a code block, the relevant lines or items are set in bold:
let div x y = // precondition assert(y > 0) assert(x > y)
Any command-line ...