Refactor check_representable
in typedecl.ml
#2656
Merged
This job succeeded
Loading