diff options
| author | Alasdair Armstrong | 2017-11-15 17:31:51 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-15 17:31:51 +0000 |
| commit | 74d2157a022ce0036a1513bd2dada5fb55b71719 (patch) | |
| tree | d8befa5a63387301816db0367e24194b0e20bc9e /src/constraint.mli | |
| parent | bb18d5067a46b9e71f57285abce41c1f89e87812 (diff) | |
| parent | ab2b7e532247e03fc6c4e2ca0ccd139e7a4aca0f (diff) | |
Merge branch 'smt' into experiments
Diffstat (limited to 'src/constraint.mli')
| -rw-r--r-- | src/constraint.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/constraint.mli b/src/constraint.mli index 4f69d51f..33881fcf 100644 --- a/src/constraint.mli +++ b/src/constraint.mli @@ -28,6 +28,7 @@ val pow2 : nexp -> nexp val add : nexp -> nexp -> nexp val sub : nexp -> nexp -> nexp val mult : nexp -> nexp -> nexp +val app : string -> nexp list -> nexp val constant : Big_int.big_int -> nexp val variable : int -> nexp |