swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e
Raw File
Tip revision: e0f22d33a6e19ef9dc992eeeab57ca8437015895 authored by Raphaƫl Proust on 28 May 2021, 09:58:06 UTC
Merge branch 'support-for-user-invariants' into 'master'
Tip revision: e0f22d3
.ocamlformat
wrap-fun-args=false
let-binding-spacing=compact
field-space=tight-decl
break-separators=after
space-around-lists=false
space-around-records=false
space-around-arrays=false
space-around-variants=false
sequence-style=terminator
doc-comments=before
margin=80
module-item-spacing=sparse
parens-tuple=always
parens-tuple-patterns=always
back to top