Library Coqdoc.Record

Record a := { b : nat ; c : bool }.
Definition d := {| b := 0 ; c := true |}.