open Ast

let find_redex_cbv : expr ast -> expr index option = function _ -> None
let find_redex_cbn : expr ast -> expr index option = function _ -> None
let reduce : expr ast -> expr index -> expr ast = fun e _ -> e