let new_peg_and_assign (var_to_bind : char) (d : entity) =
fun ((r, h) : assignment * store) ->
(* first we calculate an unused index *)
let new_peg_and_assign (var_to_bind : char) (d : entity) =
fun ((r, h) : assignment * store) ->
(* first we calculate an unused index *)