module Problem1.Types where

type Value = Double

type Err = String
type Mem = Value