Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 86f8d60c78
Fetching contributors…

Cannot retrieve contributors at this time

10 lines (9 sloc) 0.235 kb
let find_in good_input input =
try
let len = String.length good_input in
for i = 0 to String.length input - len do
if String.sub input i len = good_input then
raise Exit
done;
false
with Exit -> true
Jump to Line
Something went wrong with that request. Please try again.