close_env.ml « extraction « contrib - coq - The formal proof system

about summary refs log tree commit diff

path: root/contrib/extraction/close_env.ml

blob: 2b4c66da6c9f7215279a39a288fce6827486aa7d (plain)

(*i $Id$ i*)

open Names
open Term

let close gl =
  failwith "todo"

let module_env m = 
  failwith "todo"