aboutsummaryrefslogtreecommitdiff
path: root/lib/expression/type_of.mli
blob: 7a1158282974843e5104b46ff560590832b02104 (plain)
1
2
3
4
5
6
7
8
9
10
(** This module tries to identify the type of an expression. 

The references to data comming from the spreaedsheet cannot be evaluated and
marked as [Extern]. *)

type t = ImportDataTypes.Types.t

include Sym.SYM_CHUNK with type 'a obs = t and type 'a path_repr = 'a -> unit

val group' : t list -> t