module Register:sig
..end
val raise_invalid_lattice : unit -> 'a
val security_name : string
val security_type : Cil_types.logic_type_info
val last_annotations : Lattice.Weak.annotation list Pervasives.ref
val add_annotation : string -> unit
val extend_logic_language : unit -> unit
val init : unit -> unit
val main : 'a -> unit