let
declare comp _ =
Function
([],
Formula
.
ADT
(
"format"
,[
Record
comp]))