(* Base calculus: essentially PCF. It also describes the generated code *) (* As a semantic domain, we have chosen OCaml values of the type loc -> 'a so that \bot is also represented as an OCaml value *) include module type of Base with type 'a repr = Exec_loc.loc -> 'a val observe : 'a repr -> 'a (* observation function *)