coqBackend.mli 104 Bytes
Newer Older
1 2 3 4 5 6 7
(* The coq code generator. *)

module Run (T: sig end) : sig

  val write_all: out_channel -> unit

end