summaryrefslogtreecommitdiff
path: root/mdl/mdlFfi.urs
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2016-10-30 13:47:56 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2016-10-30 13:47:56 -0400
commitd1d071462a0a1520d94a029886093b558b24267d (patch)
tree3c5544842289a2545386e1dd518dc64edf9faf88 /mdl/mdlFfi.urs
parent9c9a28b92f55a8dd302cd964c66498d95c1b5bd3 (diff)
Support saving new actions
Diffstat (limited to 'mdl/mdlFfi.urs')
-rw-r--r--mdl/mdlFfi.urs2
1 files changed, 2 insertions, 0 deletions
diff --git a/mdl/mdlFfi.urs b/mdl/mdlFfi.urs
index 74dd636..6e8188a 100644
--- a/mdl/mdlFfi.urs
+++ b/mdl/mdlFfi.urs
@@ -12,4 +12,6 @@ under the License is distributed on an “AS IS” BASIS, WITHOUT WARRANTIES OR
CONDITIONS OF ANY KIND, either express or implied. See the License for the
specific language governing permissions and limitations under the License. *)
+val upgradeAllRegistered : transaction unit
+
val showSnackbar : string (* id *) -> string (* text *) -> transaction unit