Imandra_surface__Uid.Builtins
val bool : t
val int : t
val nil : t
val cons : t
val none : t
val some : t
val option : t
val list : t
val and_ : t
val or_ : t
val by_name : string -> t
load a builtin by name.
if couldn't be found