ocaml.mli « extraction « contrib - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/contrib/extraction/ocaml.mli

blob: be80e419a6a37b7976a8a655b943ea08be927c09 (plain)


(*i $Id$ i*)

(*s Production of Ocaml syntax. *)

open Miniml

module Make : functor(P : Mlpp_param) -> Mlpp