links

The Links Programming Language
IN THIS PACKAGE
val union_map : ( 'a -> Utility.StringSet.t ) -> 'a list -> Utility.StringSet.t
val option_map : ( 'a -> Utility.StringSet.t ) -> 'a option -> Utility.StringSet.t
val formlet_bound : phrase -> Utility.StringSet.t
val phrase : phrase -> Utility.StringSet.t
val funlit : funlit -> Utility.StringSet.t
val normal_funlit : normal_funlit -> Utility.StringSet.t
val switch_funlit : switch_funlit -> Utility.StringSet.t
val switch_funlit_body : switch_funlit_body -> Utility.StringSet.t
val regex : regex -> Utility.StringSet.t
val cp_phrase : cp_phrase -> Utility.StringSet.t