xref: /seL4-l4v-master/HOL4/src/coretypes/optionSimps.sml

structure optionSimps :> optionSimps =
struct

open simpLib optionTheory

val OPTION_ss = BasicProvers.thy_ssfrag "option"

end;