It will be useful to have a shorthand way of referring to this operation:
let new_peg_and_assign (var_to_bind : char) (d : entity) =
- (* we want to return not a function that we can bind to a bool dpm *)
- fun (truth_value : bool) : bool dpm ->
+ (* we want to return a function that we can bind to a bool dpm *)
+ fun (truth_value : bool) ->
fun ((r, h) : assignment * store) ->
(* first we calculate an unused index *)
let new_index = List.length h