src/expressions/sym_type.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

module type SYM_TYPE = sig

  type 'a t

  type 'a obs

  val str :  DataType.String.t -> DataType.String.t t

  val num :  DataType.Num.t -> DataType.Num.t t

  val date:  DataType.Num.t -> DataType.Num.t t

  val bool : DataType.Bool.t -> DataType.Bool.t t

  val observe : 'a t -> 'a obs

end