Exported `LeqInstance''s data constructor.