module Optimized: sig end
The implementation of this module contains the meat of the protein
execution model. This module creates the concrete proteins which can
be placed within the Incubator/Cytoplasm layer. However, the module
exports nothing other than the interface necessary to transform an
abstract protein into an optimized protein.
type t
The type of an optimized protein. The only way to create an
optimized protein is through the compile function below.
exception Misformed_protein
Raised by compile when some inconsistency is detected in
the abstract protein. FIXME: Why this inconsistency has not
been detected earlier, I don't know at this point...
val compile : Protein.Abstract.t -> t
Transform an abstract protein into an optimized protein