wip: crop roms indexes

This commit is contained in:
Ole Anders Nøst
2022-11-01 14:51:53 +01:00
parent 2b361738a6
commit d4ab8ec8b2

View File

@@ -14,6 +14,13 @@ type GridData<'a> = { rho: 'a; u: 'a; v: 'a }
type GridMask = GridData<bool [,]>
type GridPos = GridData<BiPos>
type GridVars = GridData<float [,]>
type RomsIndex = {start: int * int; range: int * int}
type GridIndex =
{
ridx: RomsIndex
uidx: RomsIndex
vidx: RomsIndex
}
type RomsGrid =
{