diff options
Diffstat (limited to 'src/expl_util.sml')
| -rw-r--r-- | src/expl_util.sml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expl_util.sml b/src/expl_util.sml index 290c64f5..481a96b0 100644 --- a/src/expl_util.sml +++ b/src/expl_util.sml @@ -29,6 +29,12 @@ structure ExplUtil :> EXPL_UTIL = struct open Expl +fun classifyDatatype xncs = + if List.all (fn (_, _, NONE) => true | _ => false) xncs then + Enum + else + Default + structure S = Search structure Kind = struct |