type t = ocaml_nodeA node corresponding to an invocation of a function written in OCaml.
val compare : t -> t -> intval function_identifier : t -> Function_identifier.tA unique identifier for the function corresponding to this node.
val fields : t -> shape_table:Shape_table.t -> Field.t option