Commit a712ca1d authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[kernel] document new Logic_info_structural datatype

parent c843b660
......@@ -256,6 +256,16 @@ module Identified_term: S_with_collections_pretty with type t = identified_term
module Logic_ctor_info: S_with_collections_pretty with type t = logic_ctor_info
module Logic_info: S_with_collections_pretty with type t = logic_info
(** Logic_info with structural comparison:
- name of the symbol
- type of arguments
Note that polymorphism is ignored, in the sense that two symbols with
the same name and profile except for the name of their type variables
will compare unequal.
@since Frama-C+dev
*)
module Logic_info_structural: S_with_collections_pretty with type t = logic_info
module Logic_constant: S_with_collections_pretty with type t = logic_constant
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment