Module Checkers__LithoDomain.Mem

type t
val contains_build : t -> bool