val bit : (Base.Bool.t -> t) Variantslib.Variant.tval bit_vector : (Bit_vector.t -> t) Variantslib.Variant.tval bool : (Base.Bool.t -> t) Variantslib.Variant.tval int : (Base.Int.t -> t) Variantslib.Variant.tval real : (Base.Float.t -> t) Variantslib.Variant.tval std_logic : (Std_logic.t -> t) Variantslib.Variant.tval std_logic_vector : (Std_logic_vector.t -> t) Variantslib.Variant.tval std_ulogic : (Std_logic.t -> t) Variantslib.Variant.tval std_ulogic_vector : (Std_logic_vector.t -> t) Variantslib.Variant.tval string : (Base.String.t -> t) Variantslib.Variant.tval fold :
init:'acc__ ->
bit:('acc__ -> (Base.Bool.t -> t) Variantslib.Variant.t -> 'acc__) ->
bit_vector:('acc__ -> (Bit_vector.t -> t) Variantslib.Variant.t -> 'acc__) ->
bool:('acc__ -> (Base.Bool.t -> t) Variantslib.Variant.t -> 'acc__) ->
int:('acc__ -> (Base.Int.t -> t) Variantslib.Variant.t -> 'acc__) ->
real:('acc__ -> (Base.Float.t -> t) Variantslib.Variant.t -> 'acc__) ->
std_logic:('acc__ -> (Std_logic.t -> t) Variantslib.Variant.t -> 'acc__) ->
std_logic_vector:
('acc__ -> (Std_logic_vector.t -> t) Variantslib.Variant.t -> 'acc__) ->
std_ulogic:('acc__ -> (Std_logic.t -> t) Variantslib.Variant.t -> 'acc__) ->
std_ulogic_vector:
('acc__ -> (Std_logic_vector.t -> t) Variantslib.Variant.t -> 'acc__) ->
string:('acc__ -> (Base.String.t -> t) Variantslib.Variant.t -> 'acc__) ->
'acc__val iter :
bit:((Base.Bool.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
bit_vector:((Bit_vector.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
bool:((Base.Bool.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
int:((Base.Int.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
real:((Base.Float.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
std_logic:((Std_logic.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
std_logic_vector:
((Std_logic_vector.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
std_ulogic:((Std_logic.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
std_ulogic_vector:
((Std_logic_vector.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
string:((Base.String.t -> t) Variantslib.Variant.t -> Base.Unit.t) ->
Base.Unit.tval map :
t ->
bit:((Base.Bool.t -> t) Variantslib.Variant.t -> Base.Bool.t -> 'result__) ->
bit_vector:
((Bit_vector.t -> t) Variantslib.Variant.t -> Bit_vector.t -> 'result__) ->
bool:((Base.Bool.t -> t) Variantslib.Variant.t -> Base.Bool.t -> 'result__) ->
int:((Base.Int.t -> t) Variantslib.Variant.t -> Base.Int.t -> 'result__) ->
real:((Base.Float.t -> t) Variantslib.Variant.t -> Base.Float.t -> 'result__) ->
std_logic:
((Std_logic.t -> t) Variantslib.Variant.t -> Std_logic.t -> 'result__) ->
std_logic_vector:
((Std_logic_vector.t -> t) Variantslib.Variant.t ->
Std_logic_vector.t ->
'result__) ->
std_ulogic:
((Std_logic.t -> t) Variantslib.Variant.t -> Std_logic.t -> 'result__) ->
std_ulogic_vector:
((Std_logic_vector.t -> t) Variantslib.Variant.t ->
Std_logic_vector.t ->
'result__) ->
string:
((Base.String.t -> t) Variantslib.Variant.t -> Base.String.t -> 'result__) ->
'result__val make_matcher :
bit:
((Base.Bool.t -> t) Variantslib.Variant.t ->
'acc__0 ->
(Base.Bool.t -> 'result__) * 'acc__1) ->
bit_vector:
((Bit_vector.t -> t) Variantslib.Variant.t ->
'acc__1 ->
(Bit_vector.t -> 'result__) * 'acc__2) ->
bool:
((Base.Bool.t -> t) Variantslib.Variant.t ->
'acc__2 ->
(Base.Bool.t -> 'result__) * 'acc__3) ->
int:
((Base.Int.t -> t) Variantslib.Variant.t ->
'acc__3 ->
(Base.Int.t -> 'result__) * 'acc__4) ->
real:
((Base.Float.t -> t) Variantslib.Variant.t ->
'acc__4 ->
(Base.Float.t -> 'result__) * 'acc__5) ->
std_logic:
((Std_logic.t -> t) Variantslib.Variant.t ->
'acc__5 ->
(Std_logic.t -> 'result__) * 'acc__6) ->
std_logic_vector:
((Std_logic_vector.t -> t) Variantslib.Variant.t ->
'acc__6 ->
(Std_logic_vector.t -> 'result__) * 'acc__7) ->
std_ulogic:
((Std_logic.t -> t) Variantslib.Variant.t ->
'acc__7 ->
(Std_logic.t -> 'result__) * 'acc__8) ->
std_ulogic_vector:
((Std_logic_vector.t -> t) Variantslib.Variant.t ->
'acc__8 ->
(Std_logic_vector.t -> 'result__) * 'acc__9) ->
string:
((Base.String.t -> t) Variantslib.Variant.t ->
'acc__9 ->
(Base.String.t -> 'result__) * 'acc__10) ->
'acc__0 ->
(t -> 'result__) * 'acc__10val to_rank : t -> Base.Int.tval to_name : t -> Base.String.tval descriptions : (Base.String.t * Base.Int.t) Base.List.t