HomeIsabelle/Phabricator

Create a print function for a type function (e.g. type t = int*int). This is…

Description

Create a print function for a type function (e.g. type t = int*int). This is needed at least when passing a functor argument.

Details

Provenance
dcjmAuthored on Sep 16 2021, 1:39 PM
Parents
rPOLYMLabc301a646a2: Add profile data when constructing tuples. Also used for closures in native…
Branches
Unknown
Tags
Unknown