Fig. 2.From: Cameleer: A Deductive Verification Tool for OCamlBinary search implemented as a functor.Back to paper page
