-------------------------------------------------------------------------------- -- Amethyst: Neural Network Verification in Agda -- -- This module contains functions to reflect networks as NNet files. -- -- Exports: -- -------------------------------------------------------------------------------- module Amethyst.Network.As.NNet where