Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include module type of Grammar_types.DataType
type t =
| IntegerVectorType of Grammar_types.IntegerVectorType.t
* Grammar_types.Signing.t option
| IntegerAtomType of Grammar_types.IntegerAtomType.t
* Grammar_types.Signing.t option
val to_s : t -> string