open import Interp ;;
import Maybe_extra

let add v = v ;;


let function_map = [
  ("add", add);
  ("add_infix", add);
] ;;

let eval_external name v = (Maybe_extra.fromJust (List.lookup name function_map)) v ;;