Qcert.Compiler.Model.CompilerRuntime

Module Type CompilerRuntime.
  Axiom compiler_foreign_type : foreign_type.
  Axiom compiler_foreign_runtime : foreign_runtime.
  Axiom compiler_foreign_to_java : foreign_to_java.
  Axiom compiler_foreign_to_javascript : foreign_to_javascript.
  Axiom compiler_foreign_to_scala : foreign_to_scala.
  Axiom compiler_foreign_to_JSON : foreign_to_JSON.
  Axiom compiler_foreign_type_to_JSON : foreign_type_to_JSON.
  Axiom compiler_foreign_reduce_op : foreign_reduce_op.
  Axiom compiler_foreign_to_reduce_op : foreign_to_reduce_op.
  Axiom compiler_foreign_to_spark : foreign_to_spark.
  Axiom compiler_foreign_cloudant : foreign_cloudant.
  Axiom compiler_foreign_to_cloudant : foreign_to_cloudant.
  Axiom compiler_nraenv_optimizer_logger : optimizer_logger string nraenv.
  Axiom compiler_nnrc_optimizer_logger : optimizer_logger string nnrc.
  Axiom compiler_dnnrc_optimizer_logger : ∀ {br:brand_relation}, optimizer_logger string (dnnrc (type_annotation unit) dataset).
  Axiom compiler_foreign_data_typing : foreign_data_typing.
End CompilerRuntime.