diff src/elab_util.sig @ 1997:c93fbd139732

Define uw_loggers structure, allow FFI code to access it
author Sergey Mironov <grrwlf@gmail.com>
date Wed, 26 Feb 2014 08:21:52 +0000
parents d28adceef22a
children 1091227f535a
line wrap: on
line diff