diff --git a/gap/gaptypes.g b/gap/gaptypes.g index e325e16d3dd2234ec4b9575c617576d424b0fd81..81e87d1fa659288c13a1814183276122a8b4e76b 100644 --- a/gap/gaptypes.g +++ b/gap/gaptypes.g @@ -1,3 +1,6 @@ +# Load into GAP using Read("gaptypes.g"); and export using +# GAPTypesToJson("gap_types.json"); + LoadPackage("json"); GAPFilterToFilterType := function(fid) @@ -45,7 +48,7 @@ GAPTypesInfo := function() end; # Write the graph of type info to JSon file -GAPTypeToJson := function(file) +GAPTypesToJson := function(file) PrintTo(file, GapToJsonString(GAPTypesInfo())); end;