module CreateOptionsType where

import FileSystemType (FileSystem)
import NameType (Name)
import OnExecType (OnExec)
import SealingType (Sealing)

data CreateOptions =
  CreateOptions
    { CreateOptions -> Name
name :: Name
    , CreateOptions -> OnExec
onExec :: OnExec
    , CreateOptions -> Sealing
sealing :: Sealing
    , CreateOptions -> FileSystem
fileSystem :: FileSystem
    }