From 989d01687d8c125900c3351d1a96161e56cd5ff0 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Mon, 16 Jan 2017 20:28:57 -0500 Subject: Reformat Ur files This should be a behaviour-preserving change. --- material/material.urs | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'material/material.urs') diff --git a/material/material.urs b/material/material.urs index d244ec0..dd5b7e1 100644 --- a/material/material.urs +++ b/material/material.urs @@ -14,21 +14,21 @@ specific language governing permissions and limitations under the License. *) val page : {Head : xhead, Body : xbody} -> page structure AppBar : sig - val make : string (* app title *) -> xbody + val make : string (* app title *) -> xbody end structure Checkbox : sig - val make : bool -> (bool -> transaction unit) -> transaction xbody + val make : bool -> (bool -> transaction unit) -> transaction xbody end structure FloatingActionButton : sig - val make : string -> (mouseEvent -> transaction unit) -> transaction xbody + val make : string -> (mouseEvent -> transaction unit) -> transaction xbody end structure List : sig - structure SingleLine : sig - val make : xbody -> xbody + structure SingleLine : sig + val make : xbody -> xbody - val item : {Icon : xbody, Content : xbody} -> xbody - end + val item : {Icon : xbody, Content : xbody} -> xbody + end end -- cgit v1.2.3