Skip to content

Rename inductive constructor #197

Rename inductive constructor

Rename inductive constructor #197