Sidekick_core_logic.Str_const
Basic string constants.
These constants are a string name, coupled with a type.
type Sidekick_core_logic__.Types_.const_view += private
| Str of string
val const_decoders : Const.decoders
val make : string -> ty:Sidekick_core_logic__.Types_.term -> Sidekick_core_logic__.Types_.const