HomeIsabelle/Phabricator

explicit type class operations for type-specific implementations