Hi I am new to OCaml and I was asking myself if there is a way to implement a list of (identifiers / value) pairs, such that value is for some identifiers of type int and for some other identifiers of type bool?
type identifier = string;;
type value =
(* list of (identifier/value) pairs *)
type map = (identifier*value)list ;;