Structure Type

Source File	Identifier index	Theory binding index

signature Type =
sig

  include FinalType where type hol_type = Type_dtype.hol_type

end

Source File	Identifier index	Theory binding index