Revision 583c7def1de3d2bbc425f4fc0ead48040635f9a6 authored by Maika Fujii on 24 June 2021, 05:53:09 UTC, committed by GitHub on 24 June 2021, 05:53:09 UTC
1 parent e37c343
env.ml
type 'a t = 'a list
let empty = []
(* exceptions *)
exception UnboundVariable
(* offset : string -> xs -> int *)
let offset x xs =
let rec loop xs n = match xs with
[] -> raise UnboundVariable
| first :: rest -> if x = first then n else loop rest (n + 1)
in
loop xs 0
Computing file changes ...