Undo whitespace changes

This commit is contained in:
Gaith Hallak 2022-10-23 11:18:19 +03:00
parent 4715894471
commit ce24f0bc67

View File

@ -122,12 +122,12 @@
return := ftype(), return := ftype(),
body := fexpr() }. body := fexpr() }.
-type fcode() :: #{ contract_name := string(), -type fcode() :: #{ contract_name := string(),
state_type := ftype(), state_type := ftype(),
state_layout := state_layout(), state_layout := state_layout(),
event_type := ftype() | none, event_type := ftype() | none,
functions := #{ fun_name() => fun_def() }, functions := #{ fun_name() => fun_def() },
payable := boolean() }. payable := boolean() }.
-type type_def() :: fun(([ftype()]) -> ftype()). -type type_def() :: fun(([ftype()]) -> ftype()).