sig
  val get_display_list :
    Flx_types.fully_bound_symbol_table_t ->
    Flx_ast.bid_t -> (Flx_ast.bid_t * int) list
  val cal_display :
    Flx_types.fully_bound_symbol_table_t ->
    Flx_ast.bid_t option -> (Flx_ast.bid_t * int) list
  val strd : string list -> Flx_ast.property_t list -> string
end