diff options
Diffstat (limited to 'lib/syntax/S.ml')
| -rw-r--r-- | lib/syntax/S.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml index 63fcd08..6bdbc9d 100644 --- a/lib/syntax/S.ml +++ b/lib/syntax/S.ml @@ -19,7 +19,8 @@ type ('a, 'b) variable = { pos : 'a; name : string; index : 'b option } (** Represent the evaluation over an expression *) module type Expression = sig type 'a obs - type repr + type t + type repr = Report.t list -> t * Report.t list type variable = { pos : pos; name : string; index : repr option } (** |