Doubly-linked list/Definition: Difference between revisions
Content deleted Content added
No edit summary |
m "header|F sharp" -> "header|F Sharp" |
||
Line 714: | Line 714: | ||
# value: <0, 1, 5, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20></lang> |
# value: <0, 1, 5, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20></lang> |
||
=={{header|F |
=={{header|F Sharp|F#}}== |
||
<lang fsharp>type DListAux<'T> = {mutable prev: DListAux<'T> option; data: 'T; mutable next: DListAux<'T> option} |
<lang fsharp>type DListAux<'T> = {mutable prev: DListAux<'T> option; data: 'T; mutable next: DListAux<'T> option} |
||
type DList<'T> = {mutable front: DListAux<'T> option; mutable back: DListAux<'T> option} |
type DList<'T> = {mutable front: DListAux<'T> option; mutable back: DListAux<'T> option} |