Previous
Up
Next
Module
Cil_datatype.Logic_Type_Info
module
Logic_Type_Info:
S
with type t = logic_type_info