dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module Dolmen_type . Misc . Options
val map : ( 'a -> 'b ) -> 'a option -> 'b option

Map over options.