Module Backprop

module Algebra : sig ... end
module Differentiable : sig ... end

Differentiable functions.

module Extlib : sig ... end
module Net : sig ... end

Networks consist of backpropagatable functions.