diff options
| author | Pierre Roux | 2019-02-20 18:00:04 +0100 |
|---|---|---|
| committer | Pierre Roux | 2019-11-01 10:20:51 +0100 |
| commit | 6133877fc097412233a60740fdf94374abb79559 (patch) | |
| tree | 26655b276f177cc77f108524278eb620e03c97c1 /checker/values.mli | |
| parent | f0bf1511e59e528e090a87cfcc220f93c2431ecd (diff) | |
Add primitive floats to checker
Diffstat (limited to 'checker/values.mli')
| -rw-r--r-- | checker/values.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checker/values.mli b/checker/values.mli index db6b0be250..ec3b91d5dd 100644 --- a/checker/values.mli +++ b/checker/values.mli @@ -39,6 +39,7 @@ type value = (** Same as the inner value, used to define recursive types *) | Uint63 + | Float64 (** NB: List and Opt have their own constructors to make it easy to define eg [let rec foo = List foo]. *) |