discocaml/eval.ml


1
2
3
4
5
6
7

open Ast

type path = int list
(** A path from the root of a term to a subterm. *)

let find_redex_cbv : expr -> path option = function _ -> None
let find_redex_cbn : expr -> path option = function _ -> None