module ObviouslyTerminatesFunctions: Parameter_sig.Fundec_set
Parameter_sig.Fundec_set
include Parameter_sig.Collection
val mem : elt -> bool
elt -> bool
val exists : (elt -> bool) -> bool
(elt -> bool) -> bool