← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to checker/environ.mli

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2012-01-03 23:42:48 UTC
  • mfrom: (1.2.4)
  • Revision ID: package-import@ubuntu.com-20120103234248-p9r8h1579n67v55a
Tags: 8.3pl3-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
checker/environ.mli
71
71
  module_path -> Declarations.module_type_body -> env -> env
72
72
val shallow_add_module :
73
73
  module_path -> Declarations.module_body -> env -> env
 
74
val shallow_remove_module : module_path -> env -> env
74
75
val lookup_module : module_path -> env -> Declarations.module_body
75
76
val lookup_modtype : module_path -> env -> Declarations.module_type_body