Library.Notation
val int_repr : Base.string -> Base.string -> Base.string
val type_str : Base.string
val bool_str : Base.string
val unit_str : Base.string