From a532777dcfc59128be2daa7cc74c7881a06f8cb3 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Sun, 19 Jan 2014 17:20:58 +0100 Subject: Adding a default object to generic argument registering mechanism. --- lib/genarg.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/genarg.mli') diff --git a/lib/genarg.mli b/lib/genarg.mli index f275b0d00..6eea3ac92 100644 --- a/lib/genarg.mli +++ b/lib/genarg.mli @@ -227,6 +227,9 @@ sig val name : string (** A name for such kind of manipulation, e.g. [interp]. *) + + val default : ('raw, 'glb, 'top) genarg_type -> ('raw, 'glb, 'top) obj option + (** A generic object when there is no registered object for this type. *) end module Register (M : GenObj) : -- cgit v1.2.3