blob: 476059b00bf0e7518ee68c10e67583ffb151755d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
type type_of =
| Integer (** A numeric value *)
| Bool (** A boolean, not a real type *)
| String (** String value *)
| NumericString (** String containing a numeric value *)
[@@deriving show, eq]
module Expression : sig
type t = Variable of type_of | Raw of type_of [@@deriving show, eq]
type t' = t
include Qsp_syntax.S.Expression with type t := t and type t' := t'
val ident :
ctx:Qsp_syntax.S.extract_context ->
(Qsp_syntax.S.pos, 'any) Qsp_syntax.S.variable ->
t
val get_type : t -> type_of
end
val expression_id : Expression.t Type.Id.t
(** Type identifier for the expression in this module *)
val ex : Qsp_syntax.Identifier.t
|
