Backprop
module Algebra : sig ... end
module Differentiable : sig ... end
Differentiable functions.
module Extlib : sig ... end
module Net : sig ... end
Networks consist of backpropagatable functions.