Module Llair.Block

type t = block
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val sexp_of_t : t -> Sexplib0.Sexp.t
val pp : t NS.pp
val pp_ident : t NS.pp
val mk : lbl:label -> cmnd:cmnd -> term:term -> block
val set_goal_distance : int -> t -> unit
val iter : t -> ip NS.iter
module Map : NS.Map.S with type key := t
module Tbl : NS.HashTable.S with type key := t