diff --git a/eeps/eep-0016.md b/eeps/eep-0016.md index ace93cf..afa6c87 100644 --- a/eeps/eep-0016.md +++ b/eeps/eep-0016.md @@ -181,12 +181,13 @@ it would be easier to add this than to write it up. Here's some text to go in the documentation: + > is_integer(Term, LB, UB) -> bool() -> +> > Types: -> Term = term() -> LB = integer() -> UB = integer() +> Term = term() +> LB = integer() +> UB = integer() > > Returns true if Term is an integer lying between LB > and UB inclusive (LB =< Term, Term =< UB); otherwise