xref: /seL4-l4v-master/HOL4/src/datatype/theory_tests/foo260Script.sml

open HolKernel Datatype
val _ = new_theory"foo260";
val _ = Datatype`foo = <| f : bool |>`;
val _ = export_theory();