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

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