Versions in this module Expand all Collapse all v0 v0.1.0 Jan 15, 2025 v0.0.1 Jan 13, 2025 Changes in this version + var Companion_Decimal_ = CompanionStruct_Decimal_ + var Companion_Default___ = CompanionStruct_Default___ + var Companion_JSON_ = CompanionStruct_JSON_ + func Type_Decimal_() _dafny.TypeDescriptor + func Type_JSON_() _dafny.TypeDescriptor + type CompanionStruct_Decimal_ struct + func (CompanionStruct_Decimal_) Create_Decimal_(N _dafny.Int, E10 _dafny.Int) Decimal + func (CompanionStruct_Decimal_) Default() Decimal + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) Int(n _dafny.Int) Decimal + type CompanionStruct_JSON_ struct + func (CompanionStruct_JSON_) Create_Array_(Arr _dafny.Sequence) JSON + func (CompanionStruct_JSON_) Create_Bool_(B bool) JSON + func (CompanionStruct_JSON_) Create_Null_() JSON + func (CompanionStruct_JSON_) Create_Number_(Num Decimal) JSON + func (CompanionStruct_JSON_) Create_Object_(Obj _dafny.Sequence) JSON + func (CompanionStruct_JSON_) Create_String_(Str _dafny.Sequence) JSON + func (CompanionStruct_JSON_) Default() JSON + type Data_Decimal_ interface + type Data_JSON_ interface + type Decimal struct + func (_this Decimal) Dtor_e10() _dafny.Int + func (_this Decimal) Dtor_n() _dafny.Int + func (_this Decimal) Equals(other Decimal) bool + func (_this Decimal) EqualsGeneric(other interface{}) bool + func (_this Decimal) Get_() Data_Decimal_ + func (_this Decimal) Is_Decimal() bool + func (_this Decimal) ParentTraits_() []*_dafny.TraitID + func (_this Decimal) String() string + type Decimal_Decimal struct + E10 _dafny.Int + N _dafny.Int + type Default__ struct + func New_Default___() *Default__ + func (*Default__) String() string + func (_this *Default__) Equals(other *Default__) bool + func (_this *Default__) EqualsGeneric(x interface{}) bool + func (_this *Default__) ParentTraits_() []*_dafny.TraitID + type Dummy__ struct + type JSON struct + func (_this JSON) Dtor_arr() _dafny.Sequence + func (_this JSON) Dtor_b() bool + func (_this JSON) Dtor_num() Decimal + func (_this JSON) Dtor_obj() _dafny.Sequence + func (_this JSON) Dtor_str() _dafny.Sequence + func (_this JSON) Equals(other JSON) bool + func (_this JSON) EqualsGeneric(other interface{}) bool + func (_this JSON) Get_() Data_JSON_ + func (_this JSON) Is_Array() bool + func (_this JSON) Is_Bool() bool + func (_this JSON) Is_Null() bool + func (_this JSON) Is_Number() bool + func (_this JSON) Is_Object() bool + func (_this JSON) Is_String() bool + func (_this JSON) ParentTraits_() []*_dafny.TraitID + func (_this JSON) String() string + type JSON_Array struct + Arr _dafny.Sequence + type JSON_Bool struct + B bool + type JSON_Null struct + type JSON_Number struct + Num Decimal + type JSON_Object struct + Obj _dafny.Sequence + type JSON_String struct + Str _dafny.Sequence
Go to main page