sig
  type t
  exception Misformed_protein
  val compile : Protein.Abstract.t -> Protein.Optimized.t
end