Module Opt.FlagsSource

Sourceval name : string
Sourceval grammar_extension : (unit, Libparser.obj, unit, unit, Libparser.obj Dyp.dyplexbuf) Dyp.dyp_action list
Sourceval instruction_printer : (Format.formatter -> Binsec.Ast.Instr.t -> bool) option
Sourceval declaration_printer : (Format.formatter -> Binsec.Ast.t -> bool) option
Sourceval extension : (module Types.EXPLORATION_STATISTICS) -> (module Path.S with type t = 'a) -> (module Types.STATE with type t = 'b) -> (module Exec.EXTENSION with type path = 'a and type state = 'b) option