Module Fol_formula.Fieldinfo


module Fieldinfo: sig .. end

type t = Cil_types.fieldinfo 
val prefix : string
val index : 'a -> 'a
val basename : Cil_types.fieldinfo -> string
val location : Cil_types.fieldinfo -> Lexing.position option
module H: Cil_datatype.Fieldinfo.Hashtbl
val pp_title : Format.formatter -> Cil_types.fieldinfo -> unit
val pp_descr : Format.formatter -> Cil_types.fieldinfo -> unit